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

Price
HK$ 987
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 22 - 26

Our customers say:

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

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

Mere med samme udgiver

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