Items related to Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.
The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2018
- ISBN 10 3319737201
- ISBN 13 9783319737201
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages558
- EditorDillig Isil, Palsberg Jens
Search results for Verification, Model Checking, and Abstract Interpretation:...
Seller Image
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs4366913796
Quantity: 1 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30598101-n
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... 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 # ABLIING23Mar3113020104512
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... 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-9783319737201
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 30598101
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319737201_new
Quantity: Over 20 available
Seller Image
Verification, Model Checking, and Abstract Interpretation
Published by
Springer International Publishing Jan 2018, 2018
ISBN 10: 3319737201
ISBN 13: 9783319737201
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 refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. 560 pp. Englisch. Seller Inventory # 9783319737201
Quantity: 2 available
Seller Image
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 30598101-n
Quantity: Over 20 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26376478070
Quantity: 4 available
Stock Image
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369567401
Quantity: 4 available