Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.
Shukla, Sandeep K.
Talpin, Jean-Pierre.
Boston, MA : Springer Science+Business Media, LLC, 2010.
online resource
9781441964007
Full Text
LEADER 00938nmm a22002415u 4500
001 978-1-4419-6399-4
003 Springer
008 100805s2010 xx j eng d
020 |a 9781441964007 
035 |a (Sirsi) a252220 
700 1 |a Shukla, Sandeep K. 
245 1 0 |a Synthesis of Embedded Software  |h [E-Book] :  |b Frameworks and Methodologies for Correctness by Construction /  |c edited by Sandeep K. Shukla, Jean-Pierre Talpin. 
260 |a Boston, MA :  |b Springer Science+Business Media, LLC,  |c 2010.  |e (Springer LINK) 
300 |a online resource 
650 0 |a Engineering 
650 0 |a Computer aided design 
650 0 |a Systems engineering 
700 1 |a Talpin, Jean-Pierre. 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4419-6400-7  |z Volltext 
915 |a zzwFZJ3 
932 |a Engineering (Springer-11647) 
596 |a 1 
949 |a XX(252220.1)  |w AUTO  |c 1  |i 252220-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 14/7/2011  |x UNKNOWN  |z UNKNOWN  |1 ONLINE