Picture 1 of 1

Stock photo

Verification, Model Checking, and Abstract Interpretation - 9783319737201 - 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)

BOOKS etc. (579921)

99.7% positive feedback

Price:

GBP 39.64

ApproximatelyS$ 67.81

+ 27.55 shipping

Estimated delivery Thu, 13 Nov - Fri, 21 Nov

Returns:

60 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

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

item 1 Verification, Model Checking, and Abstract Interpretation: 19th International Co

S$ 36.54

+S$ 16.78 postage

item 2 Verification, Model Checking, and Abstract Interpretation - 9783319737201

S$ 67.81

+S$ 42.51 postage

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