Placeholder text
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
284
Release Date:
2010-11-11
Publication Date:
2010-11-11
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
1441964010
Weight:
403 g
Currently sold out