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

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

Δωρεάν αποστολή με 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

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

Βοήθεια

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

▸ Άδειο :-(

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Pedro Merino

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 19534895

ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούνιος 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Πλήρης περιγραφή

Κωδικός Libristo: 19534895

125 b

51.63 €

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

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

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

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

naanallada naanu s.g.shivashankar

Χαρτόδετο

16.36 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

Χαρτόδετο

35.66 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

Χαρτόδετο

44.45 €

Das Erbe Martin Wieland

Χαρτόδετο

20.50 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

Χαρτόδετο

15.55 €

Elaboración de vinos espumosos y cavas Madrid Vicente

Χαρτόδετο

38.29 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Βιβλίο

Χαρτόδετο

25.96 €

Rüyalar ve Uyanislar Defteri Latife Tekin

Χαρτόδετο

14.14 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

Χαρτόδετο

8.78 €

Gesammelte Werke Ernst Von Wildenbruch

Χαρτόδετο

57.79 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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

EWA KASP για

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

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

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

Πλήρες όνομα Model Checking Software

Συγγραφέας María del Mar Gallardo, Pedro Merino

Γλώσσα

Αγγλική

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

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

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

EAN 9783319941103

ISBN 3319941100

Κωδικός Libristo 19534895

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 557

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

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

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

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer modelling & simulation

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

Είναι εύκολο

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