Publisher's Synopsis
Tools and Algorithms for the Construction and Analysis of Systems
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 (06 Apr 2019) | German
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
Book information
| ISBN: | 9783030175030 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 06 Apr 2019 |
| Language: | German |
| Number of pages: | 288 |
| Weight: | 408g |
| Height: | 234mm |
| Width: | 156mm |
