
Vertel uw vrienden over dit artikel:
Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Marco Bernardo
Formal Methods for Model-driven Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Marco Bernardo
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.
448 pages, 158 black & white illustrations, biography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 14 juni 2012 |
ISBN13 | 9783642309816 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Genre | Aspects (Academic) > Science / Technology Aspects |
Pagina's | 448 |
Afmetingen | 156 × 234 × 23 mm · 657 g |
Taal en grammatica | Frans |
Uitgever | Bernardo, Marco |
Uitgever | Cortellessa, Vittorio |
Uitgever | Pierantonio, Alfonso |
Alles tonen
Meer door Marco Bernardo
Bekijk alles van Marco Bernardo ( bijv. Paperback Book , Book en CD )