Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 25366158
Price: 72.69 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 25366158

Casa editrice Springer Nature Switzerland AG, febbraio 2020

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

Codice Libristo: 25366158

178 b

72.69 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

28.29 €

Eyes for the Blind Devlin Audio

CD audio

12.79 €

Puzzle 1000 CherryPazzi Lavender Muse 31094

Puzzle

6.99 €

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

In brossura

37.29 €

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

In brossura

11.99 €

Erzählungen Emma Niendorf

Rigido

54.29 €

REMBRANDT Jan Blanc

Libro

199.59 €

A csíkos pizsamás fiú John Boyne

In brossura

6.09 €

Nichtlineare Deskriptormodelle Felix Gausch

Adobe ePub DRM

54.59 €

Pat Metheny - Travels Pat Metheny

CD audio

22.59 €

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

Rigido

21.09 €

Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren

In brossura

34.19 €

Osteosintesis Ilizarov

Rigido

58.29 €

Dr zwitser en de kerstman Wasterlain Libro

Rigido

5.99 €

IRON MAIDEN Morceaux d'esprits Philippe Petesch

Rigido

31.69 €

Co robić gdy się martwisz Huebner Dawn

In brossura

6.69 €

POEMAS EMILY DICKINSON

Rigido

12.59 €

Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler

CD audio

14.09 €

Grenzen-Los! Fokus Gemeinde Herbert Ammann

In brossura

28.79 €

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

Note

20.09 €

Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva

In brossura

38.89 €

Simon George Sand

In brossura

8.69 €

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

In brossura

14.69 €

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.