Skip to main content

Picture 1 of 1

Stock photo
Stock photo
Dillig - Verification Model Checking and Abstract Interpretation 1 - P555z - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings by Jens Palsberg (2018, Trade Paperback)

iHaveit (104369)
99.4% positive feedback
Price:
GBP 54.28
ApproximatelyS$ 92.85
+ 20.71 shipping
Estimated delivery Thu, 13 Nov - Fri, 21 Nov
Returns:
No returns, but backed by .
Condition:
Brand New

About this product

Product Identifiers

PublisherSpringer International Publishing A&G
ISBN-103319737201
ISBN-139783319737201
eBay Product ID (ePID)20046629506

Product Key Features

Number of PagesXviii, 540 Pages
Publication NameVerification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
LanguageEnglish
SubjectSoftware Development & Engineering / General, Networking / General, Computer Science
Publication Year2018
TypeTextbook
AuthorJens Palsberg
Subject AreaComputers
SeriesLecture Notes in Computer Science Ser.
FormatTrade Paperback

Dimensions

Item Weight29.9 oz.
Item Length9.3 in
Item Width6.1 in

All listings for this product

Buy It Nowselected
Any Conditionselected
New
Pre-owned
Verification, Model Checking, and Abstract Interpretation: 19th International Co
item 1 Verification, Model Checking, and Abstract Interpretation: 19th International Co
S$ 36.54
+S$ 16.78 postage
Verification, Model Checking, and Abstract Interpretation - 9783319737201
item 2 Verification, Model Checking, and Abstract Interpretation - 9783319737201
S$ 67.81
+S$ 42.51 postage
Dillig - Verification Model Checking and Abstract Interpretation 1 - P555z
item 3 Dillig - Verification Model Checking and Abstract Interpretation 1 - P555z
S$ 92.85
+S$ 37.89 postage
No ratings or reviews yet
Be the first to write a review

You may also like