New!Websites for Authors
Tertulia Logo
Sign upLog In
Cart Icon0
Cart Icon0
New!Websites for Authors
The co-op bookstore for avid readers
Book Cover for: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc, Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc

Tiziana Margaria

Paperback
Regular price$54.99With free membership trial$29.9950% off your first book(max discount $25)+ Free shipping
In Stock– Ships within one business day

Do you recommend this book?

Yes!

No

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.

Book Details

  • Publisher: Springer
  • Publish Date: Oct 26th, 2024
  • Pages: 210
  • Language: English
  • Edition: 2024 - undefined
  • Dimensions: 9.21in - 6.14in - 0.47in - 0.70lb
  • EAN: 9783031753893
  • Categories: • Software Development & Engineering - General• Computer Science• Computer Architecture

More books to explore

Book Cover for: 14 Habits of Highly Productive Developers, Zeno Rocha
Book Cover for: Tidy First?: A Personal Exercise in Empirical Software Design, Kent Beck
Book Cover for: Clean Architecture: A Craftsman's Guide to Software Structure and Design, Robert Martin
Book Cover for: Fundamentals of Software Architecture: An Engineering Approach, Mark Richards
Book Cover for: Code: The Hidden Language of Computer Hardware and Software, Charles Petzold
Book Cover for: Learning Go: An Idiomatic Approach to Real-World Go Programming, Jon Bodner
Book Cover for: Embedded Systems: Introduction to Arm(r) Cortex(tm)-M Microcontrollers, Jonathan W. Valvano
Book Cover for: Generative Artificial Intelligence: What Everyone Needs to Know(r), Jerry Kaplan
Book Cover for: Engineering Management for the Rest of Us, Sarah Drasner
Book Cover for: Risc-V Assembly Language Programming: Unlock the Power of the Risc-V Instruction Set, Stephen Smith
Book Cover for: Algorithms, Panos Louridas
Book Cover for: A Programmer's Guide to Computer Science Vol. 2, William M. Springer
Book Cover for: System Design Interview - An Insider's Guide: Volume 2, Sahn Lam
Book Cover for: The Software Engineer's Guidebook, Gergely Orosz
Book Cover for: Literary Theory for Robots: How Computers Learned to Write, Dennis Yi Tenen

More books by Tiziana Margaria

Book Cover for: Formal Methods for Industrial Critical Systems: A Survey of Applications, Stefania Gnesi