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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274969
Price: 51.69 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540662020

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Nicolas Halbwachs

Doron Peled

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274969

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1998

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Πλήρης περιγραφή

Κωδικός Libristo: 05274969

125 b

51.69 €

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

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

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

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

Neurodermitis bewältigen Ulrich Stangier

Χαρτόδετο

51.89 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Χαρτόδετο

17.80 €

No me llames loca Girona

MP3

11.12 €

Byłam kochanką arabskich szejków Laila Shukri

Χαρτόδετο

9.80 €

Herbst David Moody

Χαρτόδετο

15.98 €

Uglavnom su me voljele starije gospođe Aleksandar Stanković

Σκληρόδετο

14.16 €

Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян

Σκληρόδετο

31.36 €

Diccionario de la lengua española

Χαρτόδετο

10.31 €

SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Βιβλίο

binding.

176.85 €

Aycha ou Le retour d'Elle - roman Haggard Βιβλίο

Χαρτόδετο

24.68 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

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

45.12 €

La obra gruesa : unos apuntes de construcción Mañá Reixach

Χαρτόδετο

31.46 €

Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla

Χαρτόδετο

35.30 €

Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch

Χαρτόδετο

25.99 €

Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3

Λίστα

10.01 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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

EWA KASP για

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

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

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

Πλήρες όνομα Computer Aided Verification

Συγγραφέας Nicolas Halbwachs, Doron Peled

Γλώσσα

Αγγλική

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

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

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

EAN 9783540662020

ISBN 3540662022

Κωδικός Libristo 05274969

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 670

Διαστάσεις 156 x 234 x 26

Κατηγορία

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