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

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

Δωρεάν αποστολή με 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: 01655343
Price: 58.53 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642113185

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Gilles Barthe

Manuel Hermenegildo

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01655343

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιανουάριος 2010

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

Κωδικός Libristo: 01655343

141 b

58.53 €

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

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

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

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

Le Coran expliqué aux jeunes Rachid Benzine

Χαρτόδετο

12.55 €

Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck

Σκληρόδετο

9.61 €

Burenkrieg (1899-1902) Burkhard Werner

Χαρτόδετο

13.56 €

Augusto Giacometti Beat Stutzer

Χαρτόδετο

42.93 €

Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan

Χαρτόδετο

17.92 €

Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin

Χαρτόδετο

32.60 €

Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche

Χαρτόδετο

40.20 €

andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born

Χαρτόδετο

16.20 €

Plansza dwustronna A4 ściąga Europa

binding.

1.81 €

Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik

Adobe ePub DRM

14.07 €

Joan Miro TBD

Σκληρόδετο

39.29 €

Dawit Isaak Anisur Rahman

Χαρτόδετο

26.32 €

UN HERISSON EMMANUELLE KECIR-LEPETIT

Βιβλίο

13.56 €

Jak jsem se (ne)stal agentem StB Jan Vaněček

binding.

3.53 €

Holašovice: Vesnická památková rezervace collegium

Λίστα

12.55 €

Des petits mondes en leur début

Χαρτόδετο

34.93 €

Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig

Σκληρόδετο

51.04 €

Indische Reisebriefe Ernst Haeckel

Χαρτόδετο

35.74 €

Integrierte Versorgung bei Demenzerkrankungen Lucie Barth

Χαρτόδετο

31.29 €

Sang famille Michel Bussi

Χαρτόδετο

13.26 €

Traite Du Jeu. Volume 1 BARBEYRAC-J

Χαρτόδετο

31.69 €

Gottfried Keller Albert Köster

Χαρτόδετο

25.11 €

de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J

Χαρτόδετο

14.37 €

Iniciacion deportiva en la escuela Abadi

Χαρτόδετο

29.77 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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

EWA KASP για

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

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

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

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

Συγγραφέας Gilles Barthe, Manuel Hermenegildo

Γλώσσα

Αγγλική

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

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

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

EAN 9783642113185

ISBN 3642113184

Κωδικός Libristo 01655343

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

Βάρος 612

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

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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