Verification of sequential and concurrent programs /

other_versions_link
Sonraí Bibleagrafaíochta
Príomhúdar: Gries, David .
Údair Eile: Apt, Krzysztof R., Olderog, Ernst-Rudiger .
Formáid: Printed Book
Teanga:English
Foilsithe: New York : Springer-Verlag , 1991.
Eagrán:2 /
Ábhair:
Concurrent programs
Measurement Software
Verification of sequential Programs

Míreanna Comhchosúla