Find out when it's back

We’ll send you an email as soon as this item is available to buy online.

Email address

Books
Computers
Programming

Buy Now, In-Store Pick Up Only

Free Preview of 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

ebook preview

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

Name: 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
Price: 109.50 CAD
Availability: InStock
Author: Bernhard Steffen
ISBN: 9783031753862

Tiziana Margaria Edited by Bernhard Steffen

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

Oct 26, 2024

$109.50

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.

Format: Paperback

ISBN: 9783031753862

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 548 points and enjoy extra savings with plum+. Learn more

Overview

Appropriate for

Language

English

No. of Pages

330

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031753862

Life stage: null

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

Choose format

eBooks from Indigo are available at Kobo.com

Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.

Why Kobo?

With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.

Continue to kobo.com

PROMOTION DETAILS

*Valid January 13, 2025 - March 2, 2025 at Canadian stores and at indigo.ca with $30.00 or more purchase of eligible in-stock product(s) in a single transaction before taxes, and after discounts. Not valid on previous purchases or in conjunction with other offers.

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 /en-ca/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/5CB795AA-25E8-4EB7-A763-C071077A433A.html 5CB795AA-25E8-4EB7-A763-C071077A433A

https://dynamic.indigoimages.ca/v1/books/books/3031753860/1.jpg

109.5

https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/35838af3-d57a-4c83-9c60-f515c0cbb05d/300/300/False/image.jpg

105.11

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

Overview

You May Also Like

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Recently Viewed