Leveraging Applications of Formal Methods, Verification, and Validation / Lecture Notes in Computer Science Bd.6416 (PDF)
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
(Sprache: Englisch)
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Leveraging Applications of Formal Methods, Verification, and Validation / Lecture Notes in Computer Science Bd.6416 (PDF)“
Bibliographische Angaben
- 2010, 2010, 498 Seiten, Englisch
- Herausgegeben: Tiziana Margaria, Bernhard Steffen
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642165613
- ISBN-13: 9783642165610
- Erscheinungsdatum: 02.11.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 11 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Leveraging Applications of Formal Methods, Verification, and Validation / Lecture Notes in Computer Science Bd.6416"
Schreiben Sie einen Kommentar zu "Leveraging Applications of Formal Methods, Verification, and Validation / Lecture Notes in Computer Science Bd.6416".
Kommentar verfassen