Buy Now, In-Store Pick Up Only

  • Front cover_Tools and Algorithms for the Construction and Analysis of Systems
Free Preview of Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Edited by Sriram Sankaranarayanan , Natasha Sharygina
Apr 20, 2023
$64.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 325 points and enjoy extra savings with plum+. 

Overview

Appropriate for
Language
English
No. of Pages
604
Lecture Notes In Computer Science
Publisher: Springer Nature Switzerland
Shipping dimensions: 9" H x 6" W x 1" L
ISBN: 9783031308192
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

sriram sankaranarayanan

Author

Others Also Bought

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II 50BF9398-229D-4081-8E10-2EAE851C39EA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/books/books/3031308190/1.jpg
64.95
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/a4d55596-a0da-427e-aee8-150a90aed330/300/300/False/image.jpg
0.0