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

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

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

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661641
Price: 47.54 EUR
Availability: InStock
Author: Alastair Donaldson
ISBN: 9783642317583

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Alastair Donaldson

David Parker

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01661641

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούλιος 2012

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Πλήρης περιγραφή

Κωδικός Libristo: 01661641

115 b

47.54 €

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

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

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

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

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D

Χαρτόδετο

34.69 €

Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón

Χαρτόδετο

44.41 €

Krabben Günter Pump

Σκληρόδετο

8.59 €

Veselý vlak - Nálepky do vane neuvedený autor

Κάρτες

11.32 €

Polnische Ostseeküste Wolfgang Kling

Χαρτόδετο

14.46 €

FAUNO Cristina Lobo

Χαρτόδετο

22.35 €

Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire

Χαρτόδετο

29.53 €

Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer

Χαρτόδετο

16.18 €

Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill

Χαρτόδετο

33.99 €

Ganz normale Bürger David King

Σκληρόδετο

20.73 €

Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti

Χαρτόδετο

13.55 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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

EWA KASP για

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

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

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

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

Συγγραφέας Alastair Donaldson, David Parker

Γλώσσα

Αγγλική

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

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

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

EAN 9783642317583

ISBN 3642317588

Κωδικός Libristo 01661641

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 421

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

Κατηγορία

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

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

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

Computing & Information Technology > Computer science > Computer architecture & logic design

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

Είναι εύκολο

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