Krzysztof R Apt - Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 3rd ed. 2009, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 528, publicationDate : 2012-03-14, releaseDate : 2012-03-14, authors : Krzysztof R Apt, ISBN : 1447125134 ...