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

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

Δωρεάν αποστολή με 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: 38504817
Price: 92.77 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030945824

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Bernd Finkbeiner

Thomas Wies

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 38504817

ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Ιανουάριος 2022

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

Κωδικός Libristo: 38504817

224 b

92.77 €

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

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

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

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

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski

Χαρτόδετο

8.39 €

Lo que debe saber todo buen republicano Anónimo

Χαρτόδετο

15.87 €

Ojo de Halcon: Seis dias en la vida de ... FRACTION

Χαρτόδετο

16.18 €

Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy

Σκληρόδετο

70.11 €

Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar

Χαρτόδετο

20.23 €

Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus

Σκληρόδετο

54.02 €

Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok

Σκληρόδετο

60.29 €

Der tolle Bomberg, 1 DVD Rolf Thiele

DVD

21.74 €

Le préfet et les collectivités Sut

Χαρτόδετο

81.84 €

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 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.

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

EWA KASP για

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

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

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

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

Συγγραφέας Bernd Finkbeiner, Thomas Wies

Γλώσσα

Αγγλική

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

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

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

EAN 9783030945824

Κωδικός Libristo 38504817

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

Βάρος 807

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

Κατηγορία

Computing & Information Technology > Computer science

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

Είναι εύκολο

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