Krzysztof Apt - Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Binding : Gebundene Ausgabe, Edition : 3rd ed. 2009, Corr. 3rd printing 2010, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 502, publicationDate : 2010-10-14, authors : Krzysztof Apt, de Boer, Frank S., Ernst-Rüdiger Olderog, languages : english, ISBN : 184882744X ...