Author :
Krzysztof R. Apt
Title :
Verification of sequential aand concurrent programs
Publication :
New York Springer-Verlag
Notes :
005.14^cA6^c2nd.ed. , Glossary
Added entries :
AU نويسنده Ernst- Rudiger Olderog
Subject :
Computer software- Verification+Disjoint parallel program+Nondeterministic programs
