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

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

Δωρεάν αποστολή με 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 International Publishing AG
SKU: 02775219
Price: 102.86 EUR
Availability: InStock
Author: Armin Biere
ISBN: 9783319088662

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Armin Biere

Roderick Bloem

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02775219

ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2014

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

Κωδικός Libristo: 02775219

249 b

102.86 €

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

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

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

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

Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Ημερολόγιο

19.59 €

Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World

Σκληρόδετο

18.28 €

DAN DA DAN 14 Yukinobu Tatsu

Χαρτόδετο

9.19 €

Tief ist der Brunnen der Vergangenheit Gerhard Danzer

Σκληρόδετο

28.49 €

Isola d'Elba e Pianosa Russo William Dello

Χαρτόδετο

23.23 €

Sestra lovca bosoriek Beth Underdown

Σκληρόδετο

9.19 €

Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu praca zbiorowa

Χαρτόδετο

12.22 €

Los frutos siderales MORA ALAMEDA

Χαρτόδετο

14.95 €

Mut ist der Anfang vom Gluck Heike Karen Gurtler

Adobe ePub DRM

13.23 €

Lettere. Testo greco a fronte Platone

Σκληρόδετο

48.60 €

The Compound Effect Darren Hardy

Χαρτόδετο

20.30 €

Sneaker Obsession Pauwels

Χαρτόδετο

20.10 €

Bates Motel. Season.3, 3 DVDs Vera Farmiga

DVD

23.03 €

Einführung in das GmbH-Recht Werner Borns

Χαρτόδετο

40.51 €

Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard

Χαρτόδετο

17.07 €

Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner

Χαρτόδετο

42.74 €

Lessings Werke Gotthold E. Lessing

Χαρτόδετο

71.03 €

Als Vagabund um die Erde Harry Franck

Χαρτόδετο

62.24 €

Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer

Χαρτόδετο

53.04 €

Beschaffungsplanung Und Budgetierung Heinz Stark

Χαρτόδετο

53.04 €

25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck

Χαρτόδετο

53.04 €

Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog

Χαρτόδετο

53.04 €

Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel

Χαρτόδετο

47.08 €

Láska moja sa stráca Ján Smrek

Σκληρόδετο

16.06 €

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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

EWA KASP για

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

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

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

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

Συγγραφέας Armin Biere, Roderick Bloem

Γλώσσα

Αγγλική

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

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

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

EAN 9783319088662

ISBN 3319088661

Κωδικός Libristo 02775219

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 1352

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

Κατηγορία

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

Computing & Information Technology > Computer networking & communications

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

Είναι εύκολο

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