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

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

Δωρεάν αποστολή με 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: 01656755
Price: 61.13 EUR
Availability: InStock
Author: Jaco C. van de Pol
ISBN: 9783642161636

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco C. van de Pol

Michael Weber

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01656755

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Σεπτέμβριος 2010

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

Κωδικός Libristo: 01656755

148 b

61.13 €

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

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

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

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

Star Wars Hidden Empire T02

Χαρτόδετο

21.62 €

Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Ημερολόγιο

54.15 €

Be Kind (Nepali-English) Livia Lemgruber

Χαρτόδετο

18.28 €

Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs

Ημερολόγιο

10.80 €

Den Libanon lieben lernen Laura Ziegler

Χαρτόδετο

7.37 €

Diamante Nero Victoria Quinn

Χαρτόδετο

16.56 €

Die besten Aufstriche selbst gemacht Charly Till

Χαρτόδετο

8.58 €

Textanfänge Ulrike Krieg-Holz

Χαρτόδετο

46.98 €

Raketa Hravá kniha pro děti collegium

Χαρτόδετο

12.82 €

Nach dem bewaffneten Kampf Angelika Holderberg

Χαρτόδετο

9.59 €

Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier

Χαρτόδετο

14.34 €

Uzniki Razuma Tat'yana Volkova

Χαρτόδετο

52.34 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

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

EWA KASP για

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

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

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

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

Συγγραφέας Jaco C. van de Pol, Michael Weber

Γλώσσα

Αγγλική

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

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

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

EAN 9783642161636

ISBN 3642161634

Κωδικός Libristo 01656755

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

Βάρος 421

Διαστάσεις 159 x 235 x 18

Κατηγορία

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

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

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 architecture & logic design

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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