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

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

Δωρεάν αποστολή με 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: 05274394
Price: 51.63 EUR
Availability: InStock
Author: David L. Dill
ISBN: 9783540581796

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

David L. Dill

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274394

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

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Πλήρης περιγραφή

Κωδικός Libristo: 05274394

125 b

51.63 €

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

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

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

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

LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Βιβλίο

binding.

11.00 €

Google adwords CAUMONT

Βιβλίο

34.04 €

Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba

Χαρτόδετο

17.17 €

Boruto - Two Blue Vortex 6 Mikio Ikemoto

Χαρτόδετο

6.96 €

Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary

Χαρτόδετο

33.84 €

danza delle ombre. Spie, agenti e molti segreti Guido Olimpio

Σκληρόδετο

24.75 €

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini

Χαρτόδετο

22.02 €

MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis'

Χαρτόδετο

13.63 €

BASICS Psychiatrie Anja Volz

Χαρτόδετο

25.66 €

ARANCINI KUNST Malle Raudsepp

Χαρτόδετο

34.65 €

Les cycles économiques Ferrara

Χαρτόδετο

33.24 €

HuMan ???????? ?????? Hans-Jurgen Klaussner AR

Adobe ePub DRM

8.78 €

El caballo, cría y manejo Enzo Berner

Χαρτόδετο

24.85 €

13 Gesetze der Weisheit Kim Barkmann

Χαρτόδετο

15.25 €

On Opened Ground Mark-Anthony Turnage

Νότες

48.39 €

Citadino Mistico MOISES RODRIGUEZ

Χαρτόδετο

8.78 €

Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke

Χαρτόδετο

15.35 €

Geschichtsbilder Jürgen Aretz

Χαρτόδετο

13.33 €

Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann

Χαρτόδετο

31.22 €

Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández

Χαρτόδετο

24.85 €

Wall Street Options Strategy: Everyone Can Learn Covered Calls Dr Iris Marie Mack Phd

Χαρτόδετο

10.80 €

Autobiografía de mi madre Jamaica Kincaid

Χαρτόδετο

22.22 €

La Bíblia de tots Pilarín Bayés

Χαρτόδετο

30.71 €

El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa

Χαρτόδετο

44.96 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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

EWA KASP για

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

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

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

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

Συγγραφέας David L. Dill

Γλώσσα

Αγγλική

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

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

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

EAN 9783540581796

ISBN 3540581790

Κωδικός Libristo 05274394

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

Βάρος 1520

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

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering

Computing & Information Technology > Computer hardware > Network hardware

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

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

Είναι εύκολο

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