Krzysztof Apt - Verification Of Sequential And Concurrent Programs (texts In Computer Science)
Brand: Krzysztof Apt -
EAN:
9781848827448MPN: m0184882744x
Kategorie: Bücher & Zeitschriften
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
Preise vergleichen ab:
Krzysztof Apt - in Bücher & Zeitschriften