Home
Antiques & Collectibles
General
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015 by Javier Esparza - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015 by Javier Esparza - Paperback

AED0.00

(0) Write a Review

SKU:: 9783642120015
UPC:: 9783642120015

Current Stock:

Product Description

ISBN: 9783642120015
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015
AUTHOR: Javier Esparza
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 17 Mar 2010

Other Details

ISBN:

9783642120015

Author:

Javier Esparza

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:17 Mar 2010

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015 by Javier Esparza - Paperback

Product Description

Other Details

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 : 13993 by Sriram Sankaranarayanan - 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

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 : 9636 by Marsha Chechik - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 10206 by Axel Legay - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 12651 by Jan Friso Groote - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015 by Javier Esparza - Paperback

Write a Review

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 : 6015 by Javier Esparza - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

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 : 13993 by Sriram Sankaranarayanan - 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

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 : 9636 by Marsha Chechik - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 10206 by Axel Legay - Paperback

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS : 12651 by Jan Friso Groote - Paperback