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

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

Δωρεάν αποστολή με 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

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01556086
Price: 51.69 EUR
Availability: InStock
Author: Lenore D. Zuck
ISBN: 9783540003489

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Lenore D. Zuck

Paul D. Attie

Agostino Cortesi

Supratik Mukhopadhyay

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01556086

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Δεκέμβριος 2002

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

Κωδικός Libristo: 01556086

125 b

51.69 €

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

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

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

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

Voyage, découvre, explore. Les espèces mènacées Trevisan

Leporelo

17.29 €

I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books

Χαρτόδετο

17.39 €

Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc

Σκληρόδετο

20.63 €

Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky

Χαρτόδετο

13.24 €

Bella Donna (Remastered) Stevie Nicks

Audio CD

8.08 €

Question Monetaire: Conference Imhaus-G

Χαρτόδετο

15.27 €

Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George

Χαρτόδετο

26.40 €

Dzdzownica Zaneta Pszczolki Lotniczki

Επιτραπέζιο παιχνίδι

13.75 €

Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen

Χαρτόδετο

18.00 €

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

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

EWA KASP για

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

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation

Συγγραφέας Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Γλώσσα

Αγγλική

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

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

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

EAN 9783540003489

ISBN 3540003487

Κωδικός Libristo 01556086

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

Βάρος 1070

Διαστάσεις 155 x 233 x 19

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Computer architecture & logic design

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

Είναι εύκολο

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