Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

ayon kay Krzysztof Apt
2/5
(2 mga boto)
Unang nai-publish
May 03, 2010
Mga tagapaglathala
Springer

Mga libro

Mga katulad na libro