Home
Antiques & Collectibles
General
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244 by Dana Fisman - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244 by Dana Fisman - Paperback

AED0.00

(0) Write a Review

SKU:: 9783030995263
UPC:: 9783030995263

Current Stock:

Product Description

ISBN: 9783030995263
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244
AUTHOR: Dana Fisman
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 30 Mar 2022

Other Details

ISBN:

9783030995263

Author:

Dana Fisman

Publisher:

Springer Nature Switzerland AG

Publisher Date:

Published:30 Mar 2022

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244 by Dana Fisman - Paperback

Product Description

Other Details

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13243 by Dana Fisman - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Hardback

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, : 1579 by W.Rance Cleaveland - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Chechik Marsha Chechik - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244 by Dana Fisman - Paperback

Write a Review

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13244 by Dana Fisman - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 13243 by Dana Fisman - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Hardback

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, : 1579 by W.Rance Cleaveland - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Chechik Marsha Chechik - Paperback