Description: Lecture Notes in Computer Science Ser.: Tools and Algorithms for the Constructi….
Price: 14.99 USD
Location: Evansville, Indiana
End Time: 2024-10-15T04:17:23.000Z
Shipping Cost: 4.63 USD
Product Images
Item Specifics
All returns accepted: ReturnsNotAccepted
Subject: Computer Science
Item Length: 9.3in.
Item Width: 6.1in.
Author: Marieke Huisman
Publication Name: 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
Format: Trade Paperback
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2019
Series: Lecture Notes in Computer Science Ser.
Type: Textbook
Item Weight: 16 Oz
Number of Pages: Xxvii, 258 Pages
