Get Free Shipping on orders over $79
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 - Bernhard Steffen
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

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

By: Bernhard Steffen (Editor), Tiziana Margaria (Editor)

Paperback | 26 November 2024 | Edition Number 2024

At a Glance

Paperback


$109.00

or 4 interest-free payments of $27.25 with

 or 

Ships in 5 to 7 business days

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.



 

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies, 8th Edition : For Dummies (Computer/Tech) - Kevin Beaver
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF