Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Automated Technology for Verification and Analysis Cyrille Artho
Κωδικός Libristo: 13938039
ΕΕκδοτικός οίκος Springer International Publishing AG, Σεπτέμβριος 2016
This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Πλήρης περιγραφή
? points 125 b
51.83 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Baukosten Senken Ernst G. Brehmer / Βιβλίο Χαρτόδετο
common.buy 61.47 €
Derrière l'écran K.L. Blackmoore / Βιβλίο Χαρτόδετο
common.buy 13.99 €
Standard contre standards Gabrielle Beguin / Βιβλίο Χαρτόδετο
common.buy 26.47 €
The Boy From Nowhere Grigi Valandy / Βιβλίο Χαρτόδετο
common.buy 17.85 €
Natya Shala / Βιβλίο Χαρτόδετο
common.buy 17.34 €
Liquidi. Le sostanze che scorrono nella nostra vita Mark Miodownik / Βιβλίο Χαρτόδετο
common.buy 23.32 €
»Tarifbindung« durch betriebliche Übung. Charlotte Jaekel / Βιβλίο Χαρτόδετο
common.buy 106.11 €
Churpfalzbaierisches Regierungsblatt Anonym / Βιβλίο Χαρτόδετο
common.buy 23.53 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Βιβλίο Χαρτόδετο
common.buy 16.53 €
Rochefiere: Etudes Humaines Monteil-E / Βιβλίο Χαρτόδετο
common.buy 26.47 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Βιβλίο Χαρτόδετο
common.buy 16.22 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Βιβλίο Χαρτόδετο
common.buy 46.56 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Βιβλίο Χαρτόδετο
common.buy 12.16 €

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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

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

Πλήρες όνομα Automated Technology for Verification and Analysis
Συγγραφέας Cyrille Artho, Axel Legay, Doron Peled
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2016
Αριθμός σελίδων 530
EAN 9783319465197
ISBN 3319465198
Κωδικός Libristo 13938039
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 8132
Διαστάσεις 155 x 235 x 31

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Oh What A Lovely War / Βιβλίο Σκληρόδετο
common.buy 7.19 €
ONE EARTH SPINELLI EILEEN / Βιβλίο Σκληρόδετο
common.buy 8.31 €
The Diary from the Cottage by the Loch: An utterly heart-warming, gripping and emotional Scottish romance Kennedy Kerr / Βιβλίο Χαρτόδετο
common.buy 11.35 €
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Βιβλίο Χαρτόδετο
common.buy 39.35 €
DreamWork Kelly Wallace / Βιβλίο Χαρτόδετο
common.buy 10.44 €
Treatise of Beneficiary Matters PAOLO SARPI / Βιβλίο Σκληρόδετο
common.buy 36.31 €
Milarepa and the Art of Discipleship I Sangharakshita / Βιβλίο Σκληρόδετο
common.buy 31.64 €
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Βιβλίο Χαρτόδετο
common.buy 34.58 €
My Baby Girls First Yearbook Dru L Murray / Βιβλίο Χαρτόδετο
common.buy 11.66 €
Principles of Property in Land. John Boyd Kinnear / Βιβλίο Χαρτόδετο
common.buy 21.29 €
Call Diana Sautelle / Βιβλίο Χαρτόδετο
common.buy 26.27 €
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Βιβλίο Χαρτόδετο
common.buy 15.61 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Βιβλίο Χαρτόδετο
common.buy 24.14 €
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Βιβλίο Χαρτόδετο
common.buy 18.35 €
San Bruno Darold Fredericks / Βιβλίο Χαρτόδετο
common.buy 20.89 €
The Eye of the Virgin Frederick Ramsay / Βιβλίο Χαρτόδετο
common.buy 17.64 €
International Place Branding Yearbook 2010 Frank Go / Βιβλίο Σκληρόδετο
common.buy 62.79 €
Reassessing Foucault Colin Jones / Βιβλίο Χαρτόδετο
common.buy 67.86 €
Expression and Interpretation in Language Susan Petrilli / Βιβλίο Σκληρόδετο
common.buy 240.33 €

Είσοδος

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

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

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

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

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