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

Apt, Krzysztof R.; Olderog, Ernst-Rudiger

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

Sinopsis

Book by Apt Krzysztof R Olderog ErnstRudiger

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título