An edition of Synthesis of embedded software (2010)

Synthesis of embedded software

frameworks and methodologies for correctness by construction

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Synthesis of embedded software by Sandeep K. Shukla, Jean-Pierre Talpin
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
September 25, 2020 | History
Edit
An edition of Synthesis of embedded software (2010)

Synthesis of embedded software

frameworks and methodologies for correctness by construction

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
266

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Development, Embedded computer systems, Signal processing, Programmation, Digital techniques, Systèmes enfouis (informatique), Computer software

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Synthesis of Embedded Software
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Nov 20, 2014, Springer
paperback
Libraries near you: WorldCat
Cover of: Synthesis of Embedded Software
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
2010, Springer
in English
Libraries near you: WorldCat
Cover of: Synthesis of embedded software
Synthesis of embedded software: frameworks and methodologies for correctness by construction
2010, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
New York

Classifications

Library of Congress
TK7895.E42 S96 2010, TK7867-7867.5

The Physical Object

Pagination
xv, 266 p. :
Number of pages
266

ID Numbers

Open Library
OL25328720M
Internet Archive
synthesisembedde00shuk
ISBN 10
1441963995
ISBN 13
9781441963994
LCCN
2010930045
OCLC/WorldCat
646114169

Source records

Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
September 25, 2020 Edited by MARC Bot import existing book
May 30, 2012 Created by LC Bot import new book