Description: Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II by Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less
Price: 16.89 USD
Location: Aurora, Illinois
End Time: 2025-01-02T23:28:21.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Binding: Paperback
Weight: 2 lbs
Product Group: Book
IsTextBook: No
Number of Pages: Xviii, 683 Pages
Publication Name: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science
Item Weight: 37.5 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: Chao Wang
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
