Book icon with persian name of Pubnito
Store
Library

Your Cart


Total Items:0

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

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

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Free

Reviews

Rating Snapshot

Select a row below to filter reviews.

0

0

0

0

0

0

Overall

Average Customer Ratings

Review for this Book

Share your thoughts with other readers

More Information

Table of content

Recommended Books

Based on the books you like and read

logo

English

Powered by PUBNiTO | © 2024 Notion Wave Inc.