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

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

Δωρεάν αποστολή με 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: 05274713
Price: 51.63 EUR
Availability: InStock
Author: Orna Grumberg
ISBN: 9783540631668

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Orna Grumberg

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274713

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

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

Κωδικός Libristo: 05274713

125 b

51.63 €

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

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

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

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

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo

Χαρτόδετο

24.85 €

Arkham Horror: Lovecraft Letter Zman

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

17.47 €

Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont

Χαρτόδετο

35.86 €

delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda

Χαρτόδετο

25.15 €

Handbuch Alzheimer-Krankheit Frank Jessen

Adobe ePub DRM

153.39 €

Tierna obsesion Marisa Estrada Barquet

Χαρτόδετο

12.72 €

Patron Oro Calderon Ivan Calderon

Χαρτόδετο

13.73 €

Luz Herrera Goya

Χαρτόδετο

11.91 €

Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel

Χαρτόδετο

17.88 €

Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur

Χαρτόδετο

9.19 €

Una storia dovunque Prezioso Sclano

Χαρτόδετο

16.06 €

Ley de Contratos

Χαρτόδετο

27.07 €

O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela

Χαρτόδετο

57.79 €

Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier

Audio CD

12.62 €

Nuove storie d'ogni colore Emilio De Marchi

Χαρτόδετο

13.53 €

Mehrkomponentenvertrage Benedikt Weisser

Χαρτόδετο

33.94 €

Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann

Σκληρόδετο

25.76 €

Un éternel prisonnier Dominique Henry

Χαρτόδετο

19.80 €

AEsthetik nach Wittgenstein Yves Bossart

Σκληρόδετο

173.50 €

Primiracconti Luisa Brisi

Χαρτόδετο

6.05 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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

EWA KASP για

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

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

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

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

Συγγραφέας Orna Grumberg

Γλώσσα

Αγγλική

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

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

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

EAN 9783540631668

ISBN 3540631666

Κωδικός Libristo 05274713

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

Βάρος 654

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

Κατηγορία

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