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

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

Prijs
€ 114,99

Besteld in een afgelegen magazijn

Verwachte levering 10 - 18 aug.
Ontvang meldingen over nieuwe releases van Sandeep Kumar Shukla
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