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 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Language EnglishEnglish
Book Paperback
Book Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification Tiziana Margaria
Libristo code: 46539672
Publishers Springer, Berlin, November 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Full description
? points 199 b
81.93 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Physiologie Du Theatre: A Paris Et En Province Louis Couailhac / Book Paperback
common.buy 15.97 €
Hypnose Elmanienne Christophe Pank / Book Paperback
common.buy 13.66 €
Volání havrana Wilbur Smith / Book Hardback
common.buy 15.27 €
ETYMOLOGIE XII. Isidor ze Sevilly / Book Book
common.buy 8.74 €
Kako život imitira šah Gari Kasparov / Book Hardback
common.buy 20.87 €
Equilibrium Aleksander Gabriel / Book Paperback
common.buy 14.87 €
Portugiesische Liebesbriefe Marianna Alcoforado / Book Paperback
common.buy 9.04 €
casa di via Garibaldi. Come ho catturato Adolf Eichmann Isser Harel / Book Paperback
common.buy 17.48 €
Soledad. Un dicembre del commissario Ricciardi Maurizio de Giovanni / Book Paperback
common.buy 23.11 €
Beitrage Zur Geschichte Der Stadt Koln J. M. Heberle / Book Paperback
common.buy 13.36 €
Komplexní televize Jakub Korda / Book Paperback
common.buy 14.57 €
Analisi di un direttore d'orchestra dei racconti brevi di Joel Puckett Timothy L. Ellison / Book Paperback
common.buy 43.42 €

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

 

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. Specification and Verification
Author Tiziana Margaria, Bernhard Steffen
Language English
Binding Book - Paperback
Date of issue 2024
Number of pages 400
EAN 9783031753794
Libristo code 46539672
Publishers Springer, Berlin
Weight 634
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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
No Longer Human Osamu Dazai / Book Paperback
common.buy 12.96 €
Catalogue of Law Books of the Pennsylvania State Library Pennsylvania State Library and Museum (H / Book Paperback
common.buy 41.01 €
Elements of Buying: A How To Reference Guide on Advertising for Business Owners MS Adele M Lassere / Book Paperback
common.buy 24.32 €
On the Land of Ditmarsh and the Mark of Confederation: Communicated to the Society of Antiquaries. Benjamin Williams / Book Paperback
common.buy 16.68 €
The Songwriter's Hook Book Jon Batson / Book Paperback
common.buy 13.26 €
A Less Agreeable Man: A Pride and Prejudice Variation Maria Grace / Book Paperback
common.buy 14.17 €
Top
Goat Called Willow Helen Peters / Book Paperback
common.buy 7.63 €
Invention of the Passport John C. Torpey / Book Hardback
common.buy 137.32 €
Guide to Venomous and Medically Important Invertebrates David Bowles / Book Paperback
common.buy 46.34 €
Petie and the Bus Driver: Activity Book David Feist / Book Paperback
common.buy 8.64 €
One True Patriot Sean Parnell / Book Paperback
common.buy 8.43 €
Top
Creative Brain Games Extreme Sudoku JOHN PAZZELLI / Book Paperback
common.buy 6.22 €
Cambridge Handbook of Western Mysticism and Esotericism Glenn Alexander Magee / E-book Adobe ePub DRM
common.buy 40.72 €
Top
If You Only Knew Leo G. Linder / Book Paperback
common.buy 18.99 €
Energy Law and the Sustainable Development Goals Thomas L Muinzer / Book Paperback
common.buy 70.46 €
The Spiritual Growth Bible, Study Bible, NLT - New Living Translation Holy Bible, Vegan Leather, Purple Printed Floral / Book Hardback
common.buy 37.69 €
Top New
Llewellyn's 2027 Witches' Datebook Llewellyn Llewellyn / Book Spiral bound
common.buy 12.36 €
Zagreb Celia Hawkesworth / Book Paperback
common.buy 14.57 €
Baby Touch and Feel Beep! Beep! DK / Book Board book
common.buy 6.52 €
Grammatical Inference Vasant Honavar / Book Paperback
common.buy 51.36 €
Coventry Helen Humphreys / Book Paperback
common.buy 18.29 €
Against the Few Arun N. Sinha / Book Paperback
common.buy 48.95 €
Echoes from Hospital and White House Anna L. Boyden / Book Paperback
common.buy 19.59 €
Enhancing the Professional Practice of Music Teachers Paul G. Young / Book Paperback
common.buy 57.60 €

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?