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

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

Δωρεάν αποστολή με 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559563
Price: 102.86 EUR
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540223429

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Rajeev Alur

Doron A. Peled

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01559563

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

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

Κωδικός Libristo: 01559563

249 b

102.86 €

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

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

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

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

TNM Atlas 7e JD Brierley

Χαρτόδετο

102.76 €

Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa

Χαρτόδετο

8.68 €

Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak

Σκληρόδετο

12.92 €

Cosa Nostra John Dickie

Χαρτόδετο

14.54 €

Praha mapa turistických zajímavostí

Χάρτης

2.72 €

PALINODIE Giacomo LEOPARDI

Χαρτόδετο

9.69 €

Fêtes et Chansons anciennes de la Chine Marcel Granet

Χαρτόδετο

32.53 €

Maison la plus grande du monde (La) LIONNI

Χαρτόδετο

9.08 €

Adolescence, maltraitance et placement Van Hooland

Χαρτόδετο

19.29 €

Offizielle Softballregeln 2018-2021 Thomas Haller

Χαρτόδετο

7.37 €

Código de insolvencias empresariales Rodriguez Achutegui

Χαρτόδετο

77.80 €

Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen

Χαρτόδετο

11.71 €

Harry Potter Tvory a netvory Jody Revenson

Σκληρόδετο

17.78 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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

EWA KASP για

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

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

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

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

Συγγραφέας Rajeev Alur, Doron A. Peled

Γλώσσα

Αγγλική

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

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

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

EAN 9783540223429

ISBN 3540223428

Κωδικός Libristo 01559563

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

Βάρος 1700

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

Κατηγορία

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

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 > Computer science > Artificial intelligence

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

Είναι εύκολο

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

Μπορεί να σας ενδιαφέρει

Neuroeconomics MARTIN REUTER

Χαρτόδετο

164.40 €

Second Language Teacher Education Diane J. Tedick

Χαρτόδετο

96.90 €

The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers

Χαρτόδετο

17.27 €

Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk

Χαρτόδετο

2.21 €

Chasing Time F I Goldhaber

Χαρτόδετο

11.31 €

Solemn Duty in the Old Guard Mark Joseph Mongilutz

Χαρτόδετο

37.18 €

More Than Words Vernon Logan

Χαρτόδετο

17.98 €

Stories of Animal Sagacity W. H. G. Kingston

Χαρτόδετο

19.70 €

Happiness Andy Cope

Σκληρόδετο

15.75 €

Maria The Monarch Homero Aridjis

Χαρτόδετο

14.64 €

Women Who Move Mountains Sue Detweiler

Χαρτόδετο

16.76 €

Church of England - Charity Law and Human Rights Kerry O'Halloran

Χαρτόδετο

102.86 €

Devil's Reign Zdarsky

Χαρτόδετο

27.07 €

Operatic China D. Lei

Χαρτόδετο

100.74 €

Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia

Σκληρόδετο

34.04 €

Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen

Χαρτόδετο

53.95 €