Get Free Shipping on orders over $79
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 - 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. Specification and Verification

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

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

Paperback | 5 December 2024

At a Glance

Paperback


$129.00

or 4 interest-free payments of $32.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 Computer Hardware

Woodworking : The Complete Step-by-Step Manual - DK

RRP $55.00

$42.75

22%
OFF
macOS Tahoe For Dummies : For Dummies (Computer/Tech) - Guy Hart-Davis
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
3D Printing For Dummies : For Dummies (Computer/Tech) - Richard Horne
Windows 11 All-in-One For Dummies, 2nd Edition : For Dummies - Ciprian Adrian Rusen
iPad & iPad Pro for Dummies : 2024-2025 Edition - Paul McFedries

RRP $49.95

$38.75

22%
OFF
Ubuntu Linux Bible - David Clinton

$127.75

Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari
Electronics Cookbook - Simon Monk

RRP $95.00

$47.75

50%
OFF
Using SANs & NAS : O'Reilly Ser. - W Curtis Preston

RRP $56.99

$30.75

46%
OFF