Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 1719, 2021, . Computer Science and General Issues)
ISBN 10: 303067066X ISBN 13: 9783030670665
Published by Springer, 2021
Used
Soft cover
From
Big River Books, Powder Springs, GA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since June 7, 2013
This specific item is no longer available.
About this Item
Description:
This book is in Very Good condition. The cover and pages have minor shelf wear. Binding is tight and pages are intact. Seller Inventory # 1EYX650008XV_ns
Synopsis:
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 Copenhagen, 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 working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these 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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Verification, Model Checking, and Abstract ...
Publisher: Springer
Publication Date: 2021
Binding: Soft cover
Condition: very_good
Top Search Results from the AbeBooks Marketplace
Stock Image
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Procee
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G303067066XI3N00
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing, 2021
ISBN 10: 303067066X
ISBN 13: 9783030670665
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Copenhagen,. Seller Inventory # 448686509
Buy New
US$ 101.26
US$ 57.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Verification, Model Checking, and Abstract Interpretation | 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings | Fritz Henglein (u. a.) | Taschenbuch | 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 Print on Demand. Seller Inventory # 119451483
Buy New
US$ 105.13
US$ 82.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, ... Computer Science and General Issues)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020026123
Seller Image
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17¿19, 2021, Proceedings
Published by
Springer International Publishing, 2021
ISBN 10: 303067066X
ISBN 13: 9783030670665
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 Copenhagen, 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. Seller Inventory # 9783030670665
Buy New
US$ 116.76
US$ 76.09 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing, Springer Nature Switzerland Jan 2021, 2021
ISBN 10: 303067066X
ISBN 13: 9783030670665
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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 Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch. Seller Inventory # 9783030670665
Buy New
US$ 116.76
US$ 70.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing Jan 2021, 2021
ISBN 10: 303067066X
ISBN 13: 9783030670665
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Copenhagen, 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. 620 pp. Englisch. Seller Inventory # 9783030670665
Buy New
US$ 116.76
US$ 27.08 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030670665_new
Buy New
US$ 117.20
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proce
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030670665
Buy New
US$ 117.66
US$ 20.91 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, ... Computer Science and General Issues)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783030670665