Skip to main content

Picture 1 of 1

Stock photo
Stock photo
Verification of Sequential and Concurrent Programs (Texts in Computer Science) - Picture 1 of 1

Graduate Texts in Computer Science: Verification of Sequential and Concurrent Programs by K. R. Apt and Ernst-Rüdiger Olderog (1997, Hardcover)

Phatpocket Book Shoppe (41735)
99.2% positive feedback
Price:
GBP 20.11
(inclusive of GST)
ApproximatelyS$ 34.94
+ 7.85 shipping
Estimated delivery Sat, 11 Oct - Thu, 16 Oct
Returns:
No returns, but backed by .
Condition:
Good

About this product

Product Identifiers

PublisherSpringer
ISBN-100387948961
ISBN-139780387948966
eBay Product ID (ePID)89073625

Product Key Features

Number of PagesXvii, 364 Pages
Publication NameVerification of Sequential and Concurrent Programs
LanguageEnglish
Publication Year1997
SubjectSoftware Development & Engineering / Quality Assurance & Testing, Logic, Logic Design
FeaturesRevised
TypeTextbook
AuthorK. R. Apt, Ernst-Rüdiger Olderog
Subject AreaComputers, Mathematics
SeriesGraduate Texts in Computer Science
FormatHardcover

Dimensions

Item Height1.1 in
Item Weight25.4 oz.
Item Length9.4 in
Item Width7.2 in

Additional Product Features

Edition Number2
Intended AudienceCollege Audience

All listings for this product

Buy It Now
Pre-owned
Verification of Sequential and Concurrent Programs (Texts in Computer Science),
item 1 Verification of Sequential and Concurrent Programs (Texts in Computer Science),
S$ 14.94
+S$ 20.62 postage
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
item 2 Verification of Sequential and Concurrent Programs (Texts in Computer Science)
S$ 34.94
+S$ 13.63 postage
No ratings or reviews yet
Be the first to write a review

You may also like