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

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

Δωρεάν αποστολή με 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: American Mathematical Society
SKU: 06319043
Price: 171.59 EUR
Availability: InStock
Author: American Mathem American Mathem
ISBN: 9780821865941

American Mathem American Mathem

Γλώσσα

Αγγλική

Βιβλίο Σκληρόδετο

Κωδικός Libristo: 06319043

ΕΕκδοτικός οίκος American Mathematical Society, Ιούνιος 1991

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Πλήρης περιγραφή

Κωδικός Libristo: 06319043

415 b

171.59 €

50% πιθανότητα θα ψάξουμε όλο τον κόσμο Πότε θα λάβω το βιβλίο;

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

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

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

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi

Χαρτόδετο

24.17 €

Zeis Mati Blum

Χαρτόδετο

16.58 €

Nuvole Bianche Nessa 19971995

Χαρτόδετο

15.67 €

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...

Χαρτόδετο

27.92 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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

EWA KASP για

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

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

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

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

Συγγραφέας American Mathem American Mathem

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Σκληρόδετο

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

EAN 9780821865941

ISBN 9780821865941

Κωδικός Libristo 06319043

ΕΕκδοτικός οίκος American Mathematical Society

Βάρος 666

Κατηγορία

Mathematics & Science > Mathematics > Algebra

Computing & Information Technology > Computer science

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

Είναι εύκολο

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