Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 25366158
Price: 87.1 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030393212

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Dirk Beyer

Damien Zufferey

Language

English

Book Paperback

Libristo code: 25366158

Publishers Springer Nature Switzerland AG, February 2020

This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Full description

Libristo code: 25366158

210 b

87.10 €

170.35 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse

Paperback

33.47 € 65.46 лв

Eyes for the Blind Devlin Audio

Audio CD

15.13 € 29.58 лв

Puzzle 1000 CherryPazzi Lavender Muse 31094

Jigsaw puzzle

9.43 € 18.44 лв

Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer

Paperback

45.39 € 88.77 лв

Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau

Paperback

14.40 € 28.16 лв

Erzählungen Emma Niendorf

Hardback

66.06 € 129.21 лв

REMBRANDT Jan Blanc

Book

255.46 € 499.63 лв

A csíkos pizsamás fiú John Boyne

Paperback

7.87 € 15.39 лв

Nichtlineare Deskriptormodelle Felix Gausch

Adobe ePub DRM

67.72 € 132.45 лв

Pat Metheny - Travels Pat Metheny

Audio CD

26.53 € 51.88 лв

За гранью японских свечей: Новые японские методы графического анализа Steve Nison

Hardback

25.07 € 49.04 лв

Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren

Paperback

41.55 € 81.27 лв

Osteosintesis Ilizarov

Hardback

75.49 € 147.65 лв

Dr zwitser en de kerstman Wasterlain Book

Hardback

7.72 € 15.09 лв

IRON MAIDEN Morceaux d'esprits Philippe Petesch

Hardback

40.57 € 79.34 лв

Co robić gdy się martwisz Huebner Dawn

Paperback

9.17 € 17.93 лв

POEMAS EMILY DICKINSON

Hardback

16.58 € 32.42 лв

Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler

Audio CD

16.63 € 32.52 лв

Grenzen-Los! Fokus Gemeinde Herbert Ammann

Paperback

36.11 € 70.63 лв

Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach

Sheet music

24.71 € 48.33 лв

Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva

Paperback

47.20 € 92.32 лв

Simon George Sand

Paperback

10.36 € 20.26 лв

Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler

Paperback

17.72 € 34.65 лв

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.