Freunden von diesem Artikel berichten:
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I - Lecture Notes in Computer Science
Tiziana Margaria
Zu deiner iMusic Wunschliste hinzufügen
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I - Lecture Notes in Computer Science
Tiziana Margaria
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
708 pages, 220 black & white illustrations, biography
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 19. Oktober 2010 |
ISBN13 | 9783642165573 |
Verlag | Springer-Verlag Berlin and Heidelberg Gm |
Seitenanzahl | 708 |
Maße | 155 × 234 × 28 mm · 1,02 kg |
Sprache | Französisch |
Redakteur | Margaria, Tiziana |
Redakteur | Steffen, Bernhard |
Alle anzeigen
Weitere Titel von Tiziana Margaria
Alle Titel von Tiziana Margaria ansehen ( u. a. Taschenbuch )