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 : 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

AED0.00
(0) Write a Review
SKU:
9783662545799
UPC:
9783662545799

Product Description

ISBN: 9783662545799
TITLE: 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
AUTHOR: Axel Legay
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 31 Mar 2017

Other Details

ISBN:
9783662545799
Author:
Axel Legay
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:31 Mar 2017
Book Format:
Paperback

Related Products

Popular Trending Products