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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Tiziana Margaria

Bernhard Steffen

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 14208641

ΕΕκδοτικός οίκος Springer International Publishing AG, Οκτώβριος 2016

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... Πλήρης περιγραφή

Κωδικός Libristo: 14208641

249 b

102.35 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Bibliografía sistemática y cronológica de las hablas andaluzas José Mondéjar Cumpián

Χαρτόδετο

19.10 €

Geliebte Fabelwesen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Ημερολόγιο

28.25 €

Vaiana 2 06 Walt Disney company

Χαρτόδετο

8.34 €

Depressionen Walter Pöldinger

Χαρτόδετο

76.61 €

Vintila Horia. Biografia di un esilio Maurizio Stefanini

Βιβλίο

39.01 €

ANÁLISIS DE LA PRODUCCIÓN Y EXPORTACIÓN DE LA QUINUA BOLIVIANA Edwin Rodríguez Chávez

Χαρτόδετο

39.01 €

Je těžké být bohem Arkadij Strugackij

Σκληρόδετο

17.49 €

Más generoso que la soledad YIYUN LI

Χαρτόδετο

26.94 €

A LA RECERCA DE LES PARAULES BARANDA

Σκληρόδετο

20.40 €

uomo invisibile Herbert George Wells

Σκληρόδετο

16.58 €

JURASSIC WORLD. JUEGA Y COLOREA

Χαρτόδετο

7.03 €

Análisis relacional entre variables en torno a los programas universitarios Serrano García

Χαρτόδετο

98.84 €

Dějepis 7 s nadhledem 2v1 Pracovní sešit Martin Šorm

Χαρτόδετο

5.12 €

Cirugía refractiva. Protocolo de exploración de visión binocular y acomodación MARIA GARCIA MONTERO

Χαρτόδετο

71.59 €

resurrection du credit, petits poemes industriels DEHEM-J

Χαρτόδετο

14.27 €

3 Cort?ges: Pour Clarinette Et Piano Colette Mourey

Χαρτόδετο

16.48 €

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

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

EWA KASP για

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

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

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

Πλήρες όνομα Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Συγγραφέας Tiziana Margaria, Bernhard Steffen

Γλώσσα

Αγγλική

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

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

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

EAN 9783319471655

ISBN 3319471651

Κωδικός Libristo 14208641

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 1480

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

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη