Cover Image

Verification of sequential and concurrent programs /

Show other versions (4)
Bibliographic Details
Main Author: Apt, Krzysztof R., 1949-
Other Authors: Olderog, E.-R
Format: Book
Language:English
Published: New York : Springer-Verlag, [1991]
Series:Texts and monographs in computer science.
Subjects:
Computer software > Verification.
Search Result 2
Cover Image
by Apt, Krzysztof R., 1949-
Published 1997
Book
Search Result 3
Cover Image
by Apt, Krzysztof R.
Published 1997
Connect to the full text of this electronic book
eBook
Search Result 4
Cover Image
by Apt, Krzysztof R.
Published 1991
Connect to the full text of this electronic book
eBook
Show all versions (5)