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

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

Δωρεάν αποστολή με 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: 02075327
Price: 102.86 EUR
Availability: InStock
Author: Natasha Sharygina
ISBN: 9783642397981

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina

Helmut Veith

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 02075327

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

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

Κωδικός Libristo: 02075327

249 b

102.86 €

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

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

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

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

I ja sam tu, uz vas Smriti Halls

Σκληρόδετο

12.32 €

Vie Abregee Du T. H. Frere Polycarpe

Χαρτόδετο

16.26 €

La société patriarcale face à la résistance des femmes Resta

Χαρτόδετο

34.45 €

Kumulyativnye Zaryady Oleg Minin

Χαρτόδετο

79.92 €

Lebensfunken Akin Yildiz

Χαρτόδετο

11.31 €

epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER

Χαρτόδετο

16.16 €

La enzima para rejuvenecer HIROMI SHINYA

Χαρτόδετο

20.00 €

Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch

Χαρτόδετο

42.84 €

Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault

Χαρτόδετο

16.26 €

Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen

Σκληρόδετο

30.81 €

Aufbruch in ein mehrdimensionales Denken Andreas Steiner

Χαρτόδετο

17.07 €

Die ewige Philosophie Aldous Huxley

Χαρτόδετο

19.70 €

Tatort Ägypten Arthur Conan Doyle

Χαρτόδετο

18.79 €

Gittertiere 1. Bd.1 Heidi Schär

Χαρτόδετο

26.57 €

Vegetative Physiologie Gerhard Heldmaier

Σκληρόδετο

50.31 €

Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick

Χαρτόδετο

90.23 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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

EWA KASP για

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

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

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

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

Συγγραφέας Natasha Sharygina, Helmut Veith

Γλώσσα

Αγγλική

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

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

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

EAN 9783642397981

ISBN 3642397980

Κωδικός Libristo 02075327

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

Βάρος 1539

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

Κατηγορία

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 > Computer architecture & logic design

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

Είναι εύκολο

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