Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science) - Hardcover

Apt, Krzysztof R.; Olderog, Ernst-Rudiger

 
9780387975320: Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Inhaltsangabe

Book by Apt Krzysztof R Olderog ErnstRudiger

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels