Description: BOOKS MUSIC DVD'S & FILMS GAMES TOYS & LEGO Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... (Lecture Notes in Computer Science, 8318), , Very Good Condition Book Title: Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... (Lecture Notes in Computer Science, 8318) Format: Product Category : Books Weight : 0.66 kg Condition : Very GoodWidth : 15.49 cmHeight : 3.05 cmLength : 23.37 cmBinding : paperbackGenre : Computer programmingISBN : 3642540120List Price : 44.99Publication Date : 2014-01-22Publisher : Springer
Price: 25.99 GBP
Location: Rossendale
End Time: 2024-11-30T15:56:27.000Z
Shipping Cost: 17.11 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Verification, Model Checking, and Abstract Interpretation: 15th I
Genre: Computer programming
Number of Pages: 493 Pages
Language: English
Publication Name: Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2014
Subject: Computer Science
Item Height: 235 mm
Item Weight: 7664 g
Type: Textbook
Author: Xavier Rival, Kenneth Mcmillan
Series: Theoretical Computer Science and General Issues
Item Width: 155 mm
Format: Paperback
