Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues) - Softcover

9783030945824: Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues)

Softcover

ISBN 10: 3030945820 ISBN 13: 9783030945824

Verlag: Springer, 2022

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

VerlagSpringer
Erscheinungsdatum2022
ISBN 10 3030945820
ISBN 13 9783030945824
EinbandTapa blanda
SpracheEnglisch
Auflage1
Anzahl der Seiten532
HerausgeberFinkbeiner Bernd, Wies Thomas
Kontakt zum HerstellerNicht verf�gbar

Neu kaufen

Diesen Artikel anzeigen

EUR 83,50

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Verification, Model Checking, and Abstract Interpretation:...

Foto des Verk�ufers

Verification, Model Checking, and Abstract Interpretation

Verlag: Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 3030945820 ISBN 13: 9783030945824

Neu Softcover

Print-on-Demand

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 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were caref. Bestandsnummer des Verk�ufers 537437963

Verk�ufer kontaktieren

Neu kaufen

EUR 83,50

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Verification, Model Checking, and Abstract Interpretation

Thomas Wies

Verlag: Springer International Publishing, Springer Nature Switzerland Jan 2022, 2022

ISBN 10: 3030945820 ISBN 13: 9783030945824

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. Bestandsnummer des Verk�ufers 9783030945824

Verk�ufer kontaktieren

Neu kaufen

EUR 96,29

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16�18, 2022, Proceedings

Thomas Wies

Verlag: Springer International Publishing, 2022

ISBN 10: 3030945820 ISBN 13: 9783030945824

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 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Bestandsnummer des Verk�ufers 9783030945824

Verk�ufer kontaktieren

Neu kaufen

EUR 96,29

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Verification, Model Checking, and Abstract Interpretation

Thomas Wies

Verlag: Springer International Publishing Jan 2022, 2022

ISBN 10: 3030945820 ISBN 13: 9783030945824

Neu Taschenbuch

Print-on-Demand

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 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 532 pp. Englisch. Bestandsnummer des Verk�ufers 9783030945824

Verk�ufer kontaktieren