Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep K Shukla - Books - Springer-Verlag New York Inc. - 9781441963994 - September 17, 2010
In case cover and title do not match, the title is correct

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

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7

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.

315 pages, 100 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 17, 2010
ISBN13 9781441963994
Publishers Springer-Verlag New York Inc.
Pages 266
Dimensions 159 × 247 × 22 mm   ·   576 g
Language English  
Editor Shukla, Sandeep Kumar
Editor Talpin, Jean-Pierre

Mere med samme udgiver

See all of Sandeep K Shukla ( e.g. Paperback Book and Hardcover Book )