Verwandte Artikel zu Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings: 7561 (Programming and Software Engineering) - Softcover
Inhaltsangabe
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 48,33
EUR 6,81 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Automated Technology for Verification and Analysis:...
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Programming and Software Engineering)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783642333859
Anzahl: 1 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19176823-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020224447
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 19176823
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642333859_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
Verlag:
Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642333850
ISBN 13: 9783642333859
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. 452 pp. Englisch. Bestandsnummer des Verkäufers 9783642333859
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19176823-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 452. Bestandsnummer des Verkäufers 2658569373
Anzahl: 4 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 19176823
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 452 106 Illus. Bestandsnummer des Verkäufers 50990402
Anzahl: 4 verfügbar