9783030670665 - verification, model checking, and abstract interpretation: 22nd international conference, vmcai 2021, copenhagen, denmark, january 17–19, 2021, ... science and general issues, band 12597) (5 Ergebnisse)
Sprache: Englisch
Verlag: Springer 2021
Serie: Lecture Notes in Computer Science, Buch 5 von 129. Buch 5 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,19
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 1719, 2021, Proceedings
Henglein, Fritz (Editor)/ Shoham, Sharon (Editor)/ Vizel, Yakir (Editor)
Sprache: Englisch
Verlag: Springer-Nature New York Inc 2021
Serie: Lecture Notes in Computer Science, Buch 5 von 129. Buch 5 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 144,02
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 573 pages. 9.25x6.10x1.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2021
Serie: Lecture Notes in Computer Science, Buch 5 von 129. Buch 5 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 151,10
EUR 9,04 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Weitere BilderSprache: Englisch
Verlag: Springer 2021
Serie: Lecture Notes in Computer Science, Buch 5 von 129. Buch 5 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,20
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Verification, Model Checking, and Abstract Interpretation | 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings | Fritz Henglein (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2021 | Springer | EAN 9783030670665 | Verantwortliche… Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing 2021
Serie: Lecture Notes in Computer Science, Buch 5 von 129. Buch 5 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 96,29
EUR 64,63 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Cope…nhagen, Denmark, but changed to an online event due to the COVID-19 pandemic.The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers workingon verification, model checking, and abstract interpretation and facilitatesinteraction, cross-fertilization, and advancement of hybrid methods that combinethese and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.
