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

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

Δωρεάν αποστολή με 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: 21040880
Price: 51.63 EUR
Availability: InStock
Author: Constantin Enea
ISBN: 9783030112448

Constantin Enea

Ruzica Piskac

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 21040880

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

This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Πλήρης περιγραφή

Κωδικός Libristo: 21040880

125 b

51.63 €

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

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

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

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

Kníhkupectvo nových začiatkov Jenny Colgan

Σκληρόδετο

21.31 €

Gefühle Wimmelbuch Alexandra Helm

Leporelo

11.71 €

Football - The Ultimate Book Bernd Pohlenz

Σκληρόδετο

61.33 €

Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson

Χαρτόδετο

17.27 €

Les Drapeaux du monde expliqués aux enfants Sylvie Bednar

Σκληρόδετο

24.65 €

One Piece Color Walk - Tome 09 Eiichiro Oda

Χαρτόδετο

30.71 €

Vesper Chronicles, 1 Blu-ray Kristina Buozyte

Blu-ray

14.74 €

Dragon Ball Serie Roja nº 282 Akira Toriyama

Χαρτόδετο

5.24 €

Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft'

Χαρτόδετο

14.44 €

Polednice Plešatá palice H:o)nza Vojtko

Χαρτόδετο

10.90 €

Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön

Χαρτόδετο

23.23 €

Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause

Χαρτόδετο

76.99 €

Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach

Σκληρόδετο

94.68 €

Zermatt

Χαρτόδετο

12.92 €

Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM

Digital CD

124.49 €

Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen

Χαρτόδετο

32.02 €

Correspondances D'Alger 1962 Didier Robert-Ales

Χαρτόδετο

62.95 €

Actividades de animación para la tercera edad Jacques Choque

Χαρτόδετο

34.75 €

Tirant lo Blanc (versió Palomero) JOANOT MARTORELL

Χαρτόδετο

27.98 €

Contratiempos Kahane

Χαρτόδετο

15.25 €

Schule für kleine Trommel Felix Dierkes

Χαρτόδετο

35.96 €

FRE-SANS MASQUE Truda Rosenberg

Χαρτόδετο

16.76 €

Schleich Weißwedelkalb, Kunststoff-Figur Schleich®

Παιχνίδι

6.05 €

Tek Allah, Tek Din, Tek Kitap Necmettin Sahinler

Χαρτόδετο

12.22 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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

EWA KASP για

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

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

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

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

Συγγραφέας Constantin Enea, Ruzica Piskac

Γλώσσα

Αγγλική

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

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

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

EAN 9783030112448

ISBN 3030112446

Κωδικός Libristo 21040880

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

Βάρος 937

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

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification

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

Είναι εύκολο

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