Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Critical Systems: Formal Methods and Automated Verification Laure Petrucci
Libristo code: 41043030
Publishers Springer, September 2017
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Me... Full description
? points 146 b
21 976 Ft
In stock Immediate digital delivery

Customers also purchased

Je pense toujours a toi Laith Asaad / Book Paperback
common.buy 16 291 Ft

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Critical Systems: Formal Methods and Automated Verification
Author Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2017
EAN 9783319671130
Libristo code 41043030
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Encyclopedia of Medieval Philosophy Henrik Lagerlund / E-book Adobe ePub DRM
common.buy 341 810 Ft
Mutation Breeding, Genetic Diversity and Crop Adaptation to Climate Change Sobhana Sivasankar / E-book Adobe ePub DRM
common.buy 1 742 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?