Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep Kumar Shukla - Boeken - Springer-Verlag New York Inc. - 9781489987372 - 20 november 2014
Indien omslag en titel niet overeenkomen, is de titel correct

Sandeep Kumar Shukla
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Ontvang meldingen over nieuwe releases van Sandeep Kumar Shukla

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.

266 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 november 2014
ISBN13 9781489987372
Uitgevers Springer-Verlag New York Inc.
Pagina's 266
Afmetingen 155 × 235 × 15 mm   ·   435 g
Taal en grammatica Engels  
Uitgever Shukla, Sandeep Kumar
Uitgever Talpin, Jean-Pierre

Meer van dezelfde uitgever

Bekijk alles van Sandeep Kumar Shukla ( bijv. Paperback Book )