Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Product ID: 1447125134 Condition: New

$ 279
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
Refer to Sapnet.
IsAdultProduct
Height
9.2499815
Length
6.0999878
Weight
1.6093745126
Width
1.19
ReleaseDate
2012-03-14T00:00:01Z
NumberOfItems
1
Author
Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger