Buy Now, In-Store Pick Up Only

  • Front cover_Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Free Preview of Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Edited by Bernhard Steffen
Nov 15, 2024
$116.95
Online pricing. Prices and offers may vary in store.
.
.    Learn More
This product requires a minimum order of  1
Final Sale. No returns or exchanges.
This item will be shipped by appointment through our delivery partner.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Earn 585 points and enjoy extra savings with plum+. 

Overview

Appropriate for
Language
English
No. of Pages
428
Lecture Notes In Computer Science
Publisher: Springer Nature
Shipping dimensions: 9" H x 6" W x 1" L
ISBN: 9783031737084
Life stage: null

You May Also Like

Ratings & Reviews

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

bernhard steffen

Author

Others Also Bought

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I B6AA9CC2-71BB-4C42-81E3-8CF13E8F8415
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/books/books/3031737083/1.jpg
116.95
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/07fae763-6885-4172-9570-9562e2f72c5f/300/300/False/image.jpg
113.23