1994
Programmverifikation: Sequentielle, parallele und verteilte programme
Publication
Publication
Additional Metadata | |
---|---|
Springer-Lehrbuch | |
Organisation | Logic and language |
Apt, K., & Olderog, E.-R. (1994). Programmverifikation: Sequentielle, parallele und verteilte programme. Springer-Lehrbuch. |