Computer Aided Verification / Lecture Notes in Computer Science Bd.4590 (PDF)
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited...
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed.
- 2007, 2007, 562 Seiten, Englisch
- Herausgegeben: Werner Damm, Holger Hermanns
- Verlag: Springer-Verlag GmbH
- ISBN-10: 354073368X
- ISBN-13: 9783540733683
- Erscheinungsdatum: 30.08.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 12 MB
- Mit Kopierschutz
- Vorlesefunktion
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Computer Aided Verification / Lecture Notes in Computer Science Bd.4590".
Kommentar verfassen