Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Verification, Model Checking, and Abstract Interpretation

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

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 25366158

ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Φεβρουάριος 2020

This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Πλήρης περιγραφή

Κωδικός Libristo: 25366158

199 b

82.35 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Osteosintesis Ilizarov

Σκληρόδετο

71.94 €

Eyes for the Blind Devlin Audio

Audio CD

14.34 €

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

Σκληρόδετο

26.16 €

Pat Metheny - Travels Pat Metheny

Audio CD

25.25 €

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

Χαρτόδετο

42.74 €

A csíkos pizsamás fiú John Boyne

Χαρτόδετο

7.47 €

REMBRANDT Jan Blanc

Βιβλίο

244.44 €

Puzzle 1000 CherryPazzi Lavender Muse 31094

Παζλ

8.98 €

Dr zwitser en de kerstman Wasterlain Βιβλίο

Σκληρόδετο

7.67 €

IRON MAIDEN Morceaux d'esprits Philippe Petesch

Σκληρόδετο

39.10 €

Co robić gdy się martwisz Huebner Dawn

Χαρτόδετο

7.97 €

POEMAS EMILY DICKINSON

Σκληρόδετο

14.44 €

Simon George Sand

Χαρτόδετο

10.80 €

Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren

Χαρτόδετο

39.20 €

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

Χαρτόδετο

16.66 €

Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva

Χαρτόδετο

44.45 €

Grenzen-Los! Fokus Gemeinde Herbert Ammann

Χαρτόδετο

34.35 €

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

Χαρτόδετο

35.66 €

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

Χαρτόδετο

16.26 €

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

Νότες

23.23 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation

Συγγραφέας Dirk Beyer, Damien Zufferey

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2020

Αριθμός σελίδων 471

EAN 9783030393212

Κωδικός Libristo 25366158

ΕΕκδοτικός οίκος Springer Nature Switzerland AG

Βάρος 741

Διαστάσεις 155 x 235 x 27

Κατηγορία

Computing & Information Technology > Computer programming / software engineering

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη