Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Computer Aided Verification Ed Brinksma
Κωδικός Libristo: 01564506
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούλιος 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Πλήρης περιγραφή
? points 249 b
102.67 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Anna und die mongolische Prinzessin: Quentin Akademie der magischen Künste und Wissenschaften, Buch 3 Brigitte Novalis / Βιβλίο Χαρτόδετο
common.buy 14.62 €
Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Βιβλίο Χαρτόδετο
common.buy 30.65 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Βιβλίο Χαρτόδετο
common.buy 37.31 €
Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Βιβλίο Χαρτόδετο
common.buy 54.96 €
20.000 leguas de viaje submarino Jules Verne / Βιβλίο Σκληρόδετο
common.buy 15.12 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 42.35 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Βιβλίο Χαρτόδετο
common.buy 33.98 €
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Βιβλίο Χαρτόδετο
common.buy 7.35 €
O Livro de Metatron - O Anjo da Presença Max Stone / Βιβλίο Χαρτόδετο
common.buy 16.23 €
¡De vacaciones! PETER KNORR / Βιβλίο Χαρτόδετο
common.buy 16.83 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Βιβλίο Σκληρόδετο
common.buy 24.70 €
Journal Martin du Gard / Βιβλίο Σκληρόδετο
common.buy 70.09 €
Pferd als Lernhelfer fur verhaltensauffallige Kinder und Jugendliche Claudia Zeller / Βιβλίο Χαρτόδετο
common.buy 44.47 €
Magdeburger Drogenmarkt Sven Paschke / Βιβλίο Χαρτόδετο
common.buy 33.88 €
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Βιβλίο Χαρτόδετο
common.buy 20.16 €
Cocktails Manuela Eder / Βιβλίο Σκληρόδετο
common.buy 5.64 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Βιβλίο Σκληρόδετο
common.buy 22.28 €
Abenteuer des schwarzen Gerard 2 Karl May / Βιβλίο Σκληρόδετο
common.buy 26.72 €
Lean Management Andreas Kammel / Βιβλίο Χαρτόδετο
common.buy 42.35 €
Science Fiction Stories Jürgen Schnaible / Βιβλίο Χαρτόδετο
common.buy 35.49 €
Čeho bychom se měli obávat? John Brockman / Βιβλίο Χαρτόδετο
common.buy 12.09 €
Tiere und ihr Zuhause Claudia Boldt / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 14.21 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Βιβλίο Χαρτόδετο
common.buy 70.19 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Computer Aided Verification
Συγγραφέας Ed Brinksma, Kim G. Larsen
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2002
Αριθμός σελίδων 362
EAN 9783540439974
ISBN 3540439978
Κωδικός Libristo 01564506
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 2010
Διαστάσεις 155 x 233 x 36

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Βιβλίο Χαρτόδετο
common.buy 14.01 €
The Case of the Measled Cowboy John R. Erickson / Audio Audio CD
common.buy 16.63 €
Introduction to Home Management Sandhya Rani Mohanty / Βιβλίο Χαρτόδετο
common.buy 35.60 €
Τοπ
Let's Find Momo! Andrew Knapp / Βιβλίο Leporelo
common.buy 7.86 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Βιβλίο Σκληρόδετο
common.buy 41.04 €
SAXON MATH COURSE 1 Saxpub / Βιβλίο Σκληρόδετο
common.buy 210.19 €
Taste of Home How Do I Make...? Editors at Taste of Home / Βιβλίο Χαρτόδετο
common.buy 16.63 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Βιβλίο Χαρτόδετο
common.buy 18.35 €
Under the Gaslight Augustin Daly / Βιβλίο Χαρτόδετο
common.buy 12.60 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Cheerleading Kaitlyn Duling / Βιβλίο Σκληρόδετο
common.buy 32.97 €
Pediatric Dysphagia Julina Ongkasuwan / Βιβλίο Σκληρόδετο
common.buy 140.60 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Βιβλίο Χαρτόδετο
common.buy 12.80 €
Housing in Taiwan William D.H. Li / Βιβλίο Σκληρόδετο
common.buy 179.83 €
This Is Not A Book Keri Smith / Βιβλίο Χαρτόδετο
common.buy 18.04 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Βιβλίο Χαρτόδετο
common.buy 30.75 €
Hawaiian Chihuahua Ukulele Tabs / Βιβλίο Χαρτόδετο
common.buy 9.87 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Βιβλίο Χαρτόδετο
common.buy 206.87 €
Sunkisses Larsee H Mac / Βιβλίο Χαρτόδετο
common.buy 15.52 €
Τοπ
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Βιβλίο Σκληρόδετο
common.buy 20.77 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Βιβλίο Χαρτόδετο
common.buy 29.04 €
Τοπ
Epic Drives of the World 1 Lonely planet eng / Βιβλίο Χαρτόδετο
common.buy 16.03 €
Inspired Winsome James / Βιβλίο Χαρτόδετο
common.buy 18.35 €
Torchwood The Men Who Sold The World Guy Adams / Ακουστικό βιβλίο MP3
common.buy 7.96 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;