Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep Kumar Shukla - Books - Springer-Verlag New York Inc. - 9781489987372 - November 20, 2014
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Sandeep Kumar Shukla releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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 Books     Paperback Book   (Book with soft cover and glued back)
Released November 20, 2014
ISBN13 9781489987372
Publishers Springer-Verlag New York Inc.
Pages 266
Dimensions 155 × 235 × 15 mm   ·   435 g
Language English  
Editor Shukla, Sandeep Kumar
Editor Talpin, Jean-Pierre

More from the same publisher

See all of Sandeep Kumar Shukla ( e.g. Paperback Book )