Verwandte Artikel zu Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues) - Softcover
- VerlagSpringer
- Erscheinungsdatum2020
- ISBN 10 3030393216
- ISBN 13 9783030393212
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten488
- HerausgeberBeyer Dirk, Zufferey Damien
Neu kaufen
Diesen Artikel anzeigen
EUR 87,69
EUR 3,53 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Verification, Model Checking, and Abstract Interpretation:...
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020016091
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proc
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783030393212
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783030393212_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783030393212
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation
Verlag:
Springer International Publishing Feb 2020, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
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 proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions.VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 488 pp. Englisch. Bestandsnummer des Verkäufers 9783030393212
Anzahl: 2 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16¿21, 2020, Proceedings
ISBN 10: 3030393216
ISBN 13: 9783030393212
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions.VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Bestandsnummer des Verkäufers 9783030393212
Anzahl: 1 verfügbar
Foto des Verkäufers
Verification, Model Checking, and Abstract Interpretation
Verlag:
Springer International Publishing, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI pro. Bestandsnummer des Verkäufers 385700059
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, USA, January 1925, 2020, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 600 pages. 9.25x6.10x1.06 inches. In Stock. Bestandsnummer des Verkäufers x-3030393216
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings (Lecture Notes in Computer Science, 11990)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. New. book. Bestandsnummer des Verkäufers ERICA77330303932166
Anzahl: 1 verfügbar