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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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

Language EnglishEnglish
Book Paperback
Book Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Tiziana Margaria
Libristo code: 14208641
Publishers Springer International Publishing AG, October 2016
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... Full description
? points 263 b
108.49 €
212.19  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Bibliografía sistemática y cronológica de las hablas andaluzas José Mondéjar Cumpián / Book Paperback
common.buy 20.26 € 39.62 лв
Geliebte Fabelwesen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 30.03 € 58.73 лв
Vaiana 2 06 Walt Disney company / Book Paperback
common.buy 9.51 € 18.59 лв
Depressionen Walter Pöldinger / Book Paperback
common.buy 81.15 € 158.71 лв
Vintila Horia. Biografia di un esilio Maurizio Stefanini / Book Book
common.buy 41.45 € 81.07 лв
ANÁLISIS DE LA PRODUCCIÓN Y EXPORTACIÓN DE LA QUINUA BOLIVIANA Edwin Rodríguez Chávez / Book Paperback
common.buy 41.45 € 81.07 лв
Je těžké být bohem Arkadij Strugackij / Book Hardback
common.buy 18.40 € 35.98 лв
Más generoso que la soledad YIYUN LI / Book Paperback
common.buy 28.42 € 55.59 лв
A LA RECERCA DE LES PARAULES BARANDA / Book Hardback
common.buy 21.60 € 42.25 лв
uomo invisibile Herbert George Wells / Book Hardback
common.buy 17.62 € 34.46 лв
JURASSIC WORLD. JUEGA Y COLOREA / Book Paperback
common.buy 7.49 € 14.65 лв
Análisis relacional entre variables en torno a los programas universitarios Serrano García / Book Paperback
common.buy 104.36 € 204.10 лв
Dějepis 7 s nadhledem 2v1 Pracovní sešit Martin Šorm / Book Paperback
common.buy 5.16 € 10.10 лв
Cirugía refractiva. Protocolo de exploración de visión binocular y acomodación MARIA GARCIA MONTERO / Book Paperback
common.buy 75.15 € 146.98 лв
resurrection du credit, petits poemes industriels DEHEM-J / Book Paperback
common.buy 13.69 € 26.78 лв
3 Cort?ges: Pour Clarinette Et Piano Colette Mourey / Book Paperback
common.buy 15.71 € 30.72 лв

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.

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 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Author Tiziana Margaria, Bernhard Steffen
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 974
EAN 9783319471655
ISBN 3319471651
Libristo code 14208641
Publishers Springer International Publishing AG
Weight 1480
Dimensions 155 x 235 x 56

Categories

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
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

Top
Touchstone Tarot Kat Black / Printed items Cards
common.buy 20.36 € 39.82 лв
Oscar Wilde and Classical Antiquity Kathleen Riley / Book Hardback
common.buy 181.06 € 354.13 лв
Zany Time Travels of Warble McGorkle Blackbird Crow Raven / Book Paperback
common.buy 15.19 € 29.71 лв
Poems to Grow-Up By: Poems for 6-9 year olds Cindy MacLean / Book Paperback
common.buy 6.20 € 12.12 лв
Picture Us In The Light Kelly Loy Gilbert / Book Hardback
common.buy 18.14 € 35.47 лв
Creating a Culture of Reflective Practice: Capacity-Building for Schoolwide Success Peter A. Hall / Book Paperback
common.buy 31.16 € 60.95 лв
Coming soon
Wicked Wit of Princess Margaret Karen Dolby / Book Hardback
common.buy 11.47 € 22.43 лв
Hiroshima-75 - Nuclear Issues in Global Contexts David Marples / Book Paperback
common.buy 46.31 € 90.57 лв
Greater Than a Tourist-Southern California USA: 50 Travel Tips from a Local Greater Than a Tourist / Book Paperback
common.buy 16.79 € 32.85 лв
The Astor Lectures on the Practice of Idealism W. John Murray / Book Paperback
common.buy 18.40 € 35.98 лв
Brilliant Activities for Reading Comprehension, Year 6 (2nd Ed) Charlotte Makhlouf / Book Paperback
common.buy 25.17 € 49.22 лв
Pucky, Prince of Bacon Georgia Dunn / Book Paperback
common.buy 9.92 € 19.40 лв
The Art Of Cultural Memory Bartlomiej Blaszkiewicz / Book Hardback
common.buy 52.36 € 102.40 лв
HUMPERDINCK ENGELBERT A MAN WITHOUT LOVE UNIVERSAL / Audio Audio CD
common.buy 18.19 € 35.58 лв
A Stable and Transparent Framework for Adaptive Shared Control of Robots Ribin Balachandran / Book Paperback
common.buy 130.15 € 254.55 лв
Pamela Controversy Vol 3 Tom Keymer / E-book Adobe ePub DRM
common.buy 51.84 € 101.39 лв
Antidespairant Natalka Marynchak / Book Hardback
common.buy 24.29 € 47.50 лв
Unprovoked Events Rodney Riesel / Book Paperback
common.buy 15.71 € 30.72 лв
Grand Illusion Zac Marvin / Book Paperback
common.buy 25.06 € 49.02 лв
Database Systems for Advanced Applications Jeffrey Xu Yu / Book Paperback
common.buy 60.99 € 119.28 лв
Woodworking, Revised and Expanded John Kelsey / Book Paperback
common.buy 13.33 € 26.07 лв
Credit and State Theories of Money Wray / Book Hardback
common.buy 166.18 € 325.01 лв
Top
Oxford Essential German Dictionary Oxford Dictionaries / Book Paperback
common.buy 8.27 € 16.17 лв
Accrual Method for Funding Military Retirement Richard Eisenman / Book Paperback
common.buy 11.16 € 21.83 лв

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?