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

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

Δωρεάν αποστολή με 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: 01650022
Price: 51.75 EUR
Availability: InStock
Author: Corina S. Pasareanu
ISBN: 9783642026515

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Corina S. Pasareanu

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01650022

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

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

Κωδικός Libristo: 01650022

125 b

51.75 €

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

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

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

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

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim

Χαρτόδετο

42.93 €

Einf hrung in Die Sprachheilkunde J. Berendes

Χαρτόδετο

48.40 €

10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm

Χαρτόδετο

19.74 €

OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire

Χαρτόδετο

38.98 €

Azúcar e intervención económica en España Martín Rodríguez

Χαρτόδετο

25.41 €

Panorama estratégico, 2006/2007

Χαρτόδετο

9.00 €

Fonti normative francescane Roberto Lambertini

Βιβλίο

88.71 €

benandanti. Una storia senza tempo Floreana Nativo

Χαρτόδετο

11.84 €

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Χαρτόδετο

46.38 €

Santa Biblia/ Holy Bible David Stoop

Χαρτόδετο

28.55 €

Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan

Χαρτόδετο

49.01 €

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Χαρτόδετο

11.94 €

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Χαρτόδετο

9.11 €

Lehrbuch der Experimentalphysik

Σκληρόδετο

88.92 €

Příběhy z temné komory Günter Grass

Σκληρόδετο

9.51 €

Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat

Χαρτόδετο

18.02 €

Písanka 2 k Českému jazyku pro 2. ročník

Χαρτόδετο

2.72 €

Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier

Χαρτόδετο

27.23 €

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Χαρτόδετο

47.29 €

Kärntner Auftragsvergabegesetz Michaela Schabus

Χαρτόδετο

30.27 €

Klassische Boersenstrategien im Test Daniel Ruppert

Χαρτόδετο

40.20 €

Hüzünlü Vagonlar Deniz Soganci

Χαρτόδετο

12.24 €

Todesherz Karen Rose

Χαρτόδετο

20.65 €

Políticas focalizadas de transferência de renda: contextos e BARBARA COBO

Βιβλίο

28.05 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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

EWA KASP για

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

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

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

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

Συγγραφέας Corina S. Pasareanu

Γλώσσα

Αγγλική

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

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

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

EAN 9783642026515

ISBN 3642026516

Κωδικός Libristo 01650022

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

Βάρος 474

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

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη