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

Language: English

Published by Springer International Publishing AG, CH, 2024

3031753860 / 9783031753862

  • Softcover
  • New
See all details

Seller: Rarewaves.com USA, London, London, United KingdomRarewaves.com USA

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items
Softcover

Condition: New

£ 74.98

 Free Shipping 
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket

Item description from seller

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.

Seller Inventory # LU-9783031753862

Title
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Author
Tiziana Margaria
Publisher
Springer International Publishing AG, CH
Publication year
2024
Condition
New
Binding
Paperback
Language
English
ISBN 10
3031753860
ISBN 13
9783031753862
Edition
2024 ed.
Dimensions
15.6 x 1.83 x 23.39 cm

Rarewaves.com USA

London, London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item9 to 14 business days9 to 14 business days
First item£ 0.00£ 0.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE