Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Κωδικός Libristo: 02862913
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Δεκέμβριος 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Πλήρης περιγραφή
? points 125 b
51.72 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Βιβλίο Χαρτόδετο
common.buy 33.20 €
ESTHETIQUE MUSICALE Dubet / Βιβλίο Χαρτόδετο
common.buy 19.53 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 24.79 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Βιβλίο Χαρτόδετο
common.buy 6.57 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Βιβλίο Χαρτόδετο
common.buy 32.18 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio CD
common.buy 18.11 €
Edelweiss Ronnie J. C. / Βιβλίο Χαρτόδετο
common.buy 14.37 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Βιβλίο Χαρτόδετο
common.buy 115.00 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Βιβλίο Χαρτόδετο
common.buy 19.63 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Βιβλίο Χαρτόδετο
common.buy 32.99 €
Antología poética Pedro Salinas / Βιβλίο Χαρτόδετο
common.buy 14.06 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Βιβλίο Χαρτόδετο
common.buy 32.08 €
Most přes řeku Styx Quirin Jedlička / Βιβλίο Χαρτόδετο
common.buy 7.18 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Βιβλίο Χαρτόδετο
common.buy 29.45 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Βιβλίο Χαρτόδετο
common.buy 45.95 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Barbara Jobstmann, K. Rustan M. Leino
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2015
Αριθμός σελίδων 558
EAN 9783662491218
ISBN 3662491214
Κωδικός Libristo 02862913
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 866
Διαστάσεις 155 x 235 x 30

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Desire for Society H. G. Furth / Βιβλίο Σκληρόδετο
common.buy 103.05 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Βιβλίο Σκληρόδετο
common.buy 15.78 €
International Yearbook of Industrial Statistics 2018 UNIDO / Βιβλίο Σκληρόδετο
common.buy 387.54 €
Our Nation in Decline Tom Hopper / Βιβλίο Χαρτόδετο
common.buy 7.08 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Βιβλίο Χαρτόδετο
common.buy 16.59 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Βιβλίο Σκληρόδετο
common.buy 108.01 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Βιβλίο Σκληρόδετο
common.buy 136.46 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Βιβλίο Χαρτόδετο
common.buy 20.54 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Βιβλίο Σκληρόδετο
common.buy 33.20 €
Fanatism Dr Samar / Βιβλίο Χαρτόδετο
common.buy 17.10 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Βιβλίο Σκληρόδετο
common.buy 39.17 €
Storytelling Phebe Cramer / Βιβλίο Σκληρόδετο
common.buy 98.90 €
Retreat to the Reich Samuel W. Mitcham / Βιβλίο Χαρτόδετο
common.buy 16.69 €
Visit to the Farm Michael Morpurgo / Βιβλίο Χαρτόδετο
common.buy 9.51 €
Τοπ
Maat and Ancient Egyptian Magic Mari Silva / Βιβλίο Σκληρόδετο
common.buy 26.11 €
Προετοιμαζουμε
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Βιβλίο Χαρτόδετο
common.buy 13.05 €
The Awful German Language Mark Twain / Βιβλίο Σκληρόδετο
common.buy 13.15 €
Night Before Christmas Clement C Moore & Corinne Malvern / Βιβλίο Leporelo
common.buy 7.38 €
Myth of Liberal Ascendancy G Williams Domhoff / Βιβλίο Χαρτόδετο
common.buy 59.11 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Βιβλίο Σκληρόδετο
common.buy 154.48 €
Comparative Constitutional Design Tom Ginsburg / Βιβλίο Χαρτόδετο
common.buy 66.91 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;