Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.3299 (PDF)
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
(Sprache: Englisch)
sofort als Download lieferbar
eBook (pdf)
96.29 €
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.3299 (PDF)“
Bibliographische Angaben
- 2004, 2004, 510 Seiten, Englisch
- Herausgegeben: Farn Wang
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540304762
- ISBN-13: 9783540304760
- Erscheinungsdatum: 11.10.2004
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.36 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.3299"
0 Gebrauchte Artikel zu „Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.3299“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.3299".
Kommentar verfassen