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

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

Δωρεάν αποστολή με 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: 09372112
Price: 51.63 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 9783319216676

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening

Corina S. Pasareanu

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 09372112

ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούλιος 2015

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Πλήρης περιγραφή

Κωδικός Libristo: 09372112

125 b

51.63 €

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

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

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

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

Redeskriptionen horizontaler Geographien Olaf Kuhne

Adobe ePub DRM

106.80 €

La Divine Comédie De Dante; Volume 1 Louis Ratisbonne

Χαρτόδετο

29.09 €

Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley

Χαρτόδετο

41.12 €

Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller

Χαρτόδετο

51.63 €

Medizinischer Grundwortschatz Martin Trebsdorf

Χαρτόδετο

18.28 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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

EWA KASP για

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

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

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

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

Συγγραφέας Daniel Kroening, Corina S. Pasareanu

Γλώσσα

Αγγλική

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

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

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

EAN 9783319216676

ISBN 3319216678

Κωδικός Libristo 09372112

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

Βάρος 7314

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

Κατηγορία

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