Počet záznamů: 1
Teaching Formal Methods
- 1.0334297 DE BXXS
Gibbons, J. (ed.) - Oliveira, J.N. (ed.)
Teaching Formal Methods.
Berlin: Springer, 2009. Lecture Notes in Computer Science, 5846. ISBN 978-3-642-04911-8
Počet záznamů: 1
ASEP
Repozitář AV ČR
Repozitář AV ČR