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

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

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

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

Βοήθεια

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

▸ Άδειο :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559203
Price: 58.46 EUR
Availability: InStock
Author: Susanne Graf
ISBN: 9783540213147

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Susanne Graf

Laurent Mounier

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01559203

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

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

Κωδικός Libristo: 01559203

141 b

58.46 €

Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες

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

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

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

ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ

Βιβλίο

69.38 €

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld

Adobe ePub DRM

8.79 €

Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag

Σκληρόδετο

27.71 €

Psychológia ako zbraň Tomáš Vepi

Σκληρόδετο

15.16 €

MYTHOS SANTOS

Βιβλίο

21.64 €

Kontrastive Medienlinguistik Roman Opilowski

Χαρτόδετο

57.75 €

?Quién es mi bebé? EDICIONES

Χαρτόδετο

18.91 €

METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO

Χαρτόδετο

10.21 €

Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino

Σκληρόδετο

27.20 €

Unterhaltsrecht Michael Schwimann

Σκληρόδετο

78.79 €

Le secret en matière fiscale Pilotin

Χαρτόδετο

48.65 €

Borderline - Tijuana Connection, 1 DVD William A. Seiter

DVD

13.75 €

Curiosidades en verso. El cuerpo humano SAGRARIO PINTO

Χαρτόδετο

13.04 €

Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L

Χαρτόδετο

15.16 €

Y Dejo Escapar Sus Ojos Teresa Zatarain

Σκληρόδετο

15.97 €

La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour

Χαρτόδετο

22.35 €

Königsblut

Χαρτόδετο

7.88 €

Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A

Χαρτόδετο

26.49 €

Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant

Χαρτόδετο

37.82 €

Rafaela McKensey Monika Hoffmann

Χαρτόδετο

7.78 €

TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium

Σκληρόδετο

36.41 €

Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher

Χαρτόδετο

42.78 €

Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz

Χαρτόδετο

14.46 €

Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet

Χαρτόδετο

16.18 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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

EWA KASP για

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

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

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

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

Συγγραφέας Susanne Graf, Laurent Mounier

Γλώσσα

Αγγλική

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

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

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

EAN 9783540213147

ISBN 3540213147

Κωδικός Libristo 01559203

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

Βάρος 493

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

Κατηγορία

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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