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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

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

Language EnglishEnglish
Book Paperback
Book Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Tiziana Margaria
Libristo code: 46539685
Publishers Springer, Berlin, November 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Full description
? points 174 b
70.89 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Familie und Beruf. Vereinbarkeit von Elternzeit und Fuhrungspositionen fur Manner in mittelstandischen Unternehmen Anja Landvoigt / Book Paperback
common.buy 27.95 €
Les Misérables Part 1; Volume II Anonymous / Book Paperback
common.buy 25.89 €
Tí, čo odchádzajú – tí, čo zostávajú Elena Ferrante / Book Hardback
common.buy 26.39 €
Na lavici obžalovaných Mikuláš Černák / Book Hardback
common.buy 14.49 €
Základka a ďalšie katastrofy 1 - Najhoršia spolubývajúca Wanda Coven / Book Hardback
common.buy 13.29 €

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. Software Engineering Methodologies
Author Tiziana Margaria, Bernhard Steffen
Language English
Binding Book - Paperback
Date of issue 2024
Number of pages 330
EAN 9783031753862
Libristo code 46539685
Publishers Springer, Berlin
Weight 523
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

Model Driven Engineering and Ontology Development Dragan Ga evic / Book Paperback
common.buy 107.29 €
History of the Moors of Spain M. Florian / Book Paperback
common.buy 14.09 €
Eton Abuses Considered Unknown Author / Book Paperback
common.buy 11.39 €
Judges and Ruth Barry Webb / Book Hardback
common.buy 55.59 €
Michelangelo's World J. Patrick Lewis / Book Hardback
common.buy 17.39 €
Spikenard -A Woman Anoints Jesus's Feet - Did She Use the Spikenard of Aromatherapy?: Nardostachys Jatamansi - An Essential Oil and Medicinal Plant fo Mrs Elizabeth Ashley / Book Paperback
common.buy 21.99 €
Turning Point Danielle Steel / Book Paperback
common.buy 9.19 €
Vertical Ascent WOLFGANG SMITH / Book Paperback
common.buy 16.49 €
To the Ends of the Earth Richard Weller / Book Hardback
common.buy 31.99 €

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?