For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Verification of Sequential and Concurrent Programmes
Verification of Sequential and Concurrent Programmes
(
)
Author:
Apt, K.R.
Olderog, E. R.
Series title:
Texts and Monographs in Computer Science Ser.
ISBN:
978-3-540-97532-8
Publication Date:
Jan 1991
Publisher:
Springer
Book Format:
Hardback
List Price:
Contact Supplier contact
Buy Now
Book Details
Pages:
457
Detailed Subjects:
Computers / Software Development & Engineering / Quality Assurance & Testing
Physical Dimensions
(W X L X H)
:
14 x 22 cm
Book Weight:
7.753 Kilograms
Related Books
View more
Logic for Applica...
Nerode, A.
Hardback:
Practical Theory ...
Hehner, E.C.R.
Hardback:
String-Rewriting ...
Book, R. V.
Hardback:
Science of Progra...
Gries, David
Paperback:
Featured Books
Grief Is for People
Crosley, Sloane
Hardback:
$27.00
The Black Box
Connelly, Michael
Paperback:
$12.00
The Penderwicks
Birdsall, Jeanne
Paperback:
$6.99
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.