Verification of Sequential and Concurrent Programs - Couverture rigide

Apt, Krzysztof R.; Olderog, Ernst-Rudiger

 
9780387975320: Verification of Sequential and Concurrent Programs

Synopsis

Book by Apt Krzysztof R Olderog ErnstRudiger

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre