Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Paperback, 1st ed. 2019)
Loot Price: R1,684
Discovery Miles 16 840
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Paperback, 1st ed. 2019)
Series: Theoretical Computer Science and General Issues, 11429
Expected to ship within 10 - 15 working days
|
This book is Open Access under a CC BY licence. This book, LNCS
11429, is part III of the proceedings of the 25th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2019, which took place in Prague, Czech
Republic, in April 2019, held as part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2019. It's a
special volume on the occasion of the 25 year anniversary of TACAS.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.