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

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

Δωρεάν αποστολή με 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: 01567506
Price: 114.38 EUR
Availability: InStock
Author: E. Allen Emerson
ISBN: 9783540677703

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

E. Allen Emerson

A. Prasad Sistla

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01567506

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

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

Κωδικός Libristo: 01567506

277 b

114.38 €

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

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

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

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

Pokémon: Mein großer Pokémon-Block Panini

Χαρτόδετο

8.78 €

600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion

Χαρτόδετο

13.73 €

Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch

Χαρτόδετο

131.56 €

SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL

Βιβλίο

12.02 €

Las celdas de mi cuerpo Rivero

Χαρτόδετο

4.84 €

BIDAIA SANNA

Σκληρόδετο

23.74 €

Principes d'analyse fonctionnelle WILLEM

Χαρτόδετο

36.77 €

Le Livre des merveilles du monde Polo

Χαρτόδετο

4.44 €

Phi Phi Island Josef Haslinger

Χαρτόδετο

13.53 €

Vogesen Curt Mundel

Χαρτόδετο

57.79 €

Standards der OP-Patientenlagerung Sadik Duru

Χαρτόδετο

65.98 €

Ruckkehr Der Zeitmaschine Egon Friedell

Σκληρόδετο

22.32 €

LES SOEURS DE PRAGUE J. Garcin

Χαρτόδετο

11.51 €

Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel

Χαρτόδετο

65.88 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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

EWA KASP για

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

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

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

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

Συγγραφέας E. Allen Emerson, A. Prasad Sistla

Γλώσσα

Αγγλική

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

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

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

EAN 9783540677703

ISBN 3540677704

Κωδικός Libristo 01567506

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

Βάρος 894

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

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems

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

Medicine & Nursing > Medicine: general issues

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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