Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Graduate Texts in Computer Science: Verification of Sequential and Concurrent Programs by K. R. Apt and Ernst-Rüdiger Olderog (1997, Hardcover)
WeBuyBooks (2749104)
99.6% positive feedback
Price:
GBP 8.60
(inclusive of GST)
ApproximatelyS$ 14.94
+ 11.87 shipping
Returns:
No returns, but backed by .
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
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
Be the first to write a review
