Verification of sequential and concurrent programs /

Bibliographic Details
Main Author: Apt, Krzysztof R., 1949-
Other Authors: Boer, Frank Sipke de, 1956-, Olderog, Ernst-Rüdiger, 1955-
Format: Book
Language:English
Published: London : Springer, 2009.
Edition:3rd ed.
Series:Texts in computer science
Subjects: