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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 42163944
Price: 107.81 EUR
Availability: InStock
Author: Kenneth L. McMillan
ISBN: 9780792393801

Kenneth L. McMillan

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 42163944

ΕΕκδοτικός οίκος Kluwer Academic Publishers, Ιούλιος 1993

Formal verification means having a mathematical model of a system, a language for specifying desired... Πλήρης περιγραφή

Κωδικός Libristo: 42163944

261 b

107.81 €

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

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

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

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

Sputnik Christian Berkel

Audio CD

23.64 €

Schau genau, per St Παιχνίδι/Επιτραπέζιο παιχνίδι

Επιτραπέζιο παιχνίδι

18.89 €

Das Fachbuch zum Taschenrechner Rebell SC2060S

Χαρτόδετο

13.53 €

Necromáquina ROSSANA REGUILLO

Χαρτόδετο

24.65 €

Cycle de l'Atlantide, tome 1 Ariel Riseln

Χαρτόδετο

21.82 €

Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce

Χαρτόδετο

32.33 €

TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ

Χαρτόδετο

29.70 €

Vous et votre voiture

Χαρτόδετο

38.90 €

Polacy w służbie Moskali Chwalba Andrzej

Χαρτόδετο

32.02 €

Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta

Χαρτόδετο

40.11 €

Malbuch für Geist & Seele Dana Zimmermann

Χαρτόδετο

9.29 €

Introdução à Química dos Alimentos Paulo Figueiredo

Χαρτόδετο

37.38 €

Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos

Χαρτόδετο

15.45 €

Breve diccionario etimológico de la lengua castellana JOAN COROMINES

Χαρτόδετο

51.83 €

Jenny Fanny Lewald

Χαρτόδετο

16.16 €

Yoga-Anatomie 3D Ray Long

Χαρτόδετο

21.11 €

Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca

Σκληρόδετο

64.36 €

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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

EWA KASP για

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

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

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

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

Συγγραφέας Kenneth L. McMillan

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

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

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

EAN 9780792393801

ISBN 0792393805

Κωδικός Libristo 42163944

ΕΕκδοτικός οίκος Kluwer Academic Publishers

Βάρος 426

Διαστάσεις 179 x 229 x 18

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components

Computing & Information Technology > Computer science

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

Είναι εύκολο

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