Formal methods in computer science
Jiacun Wang
Formal methods in computer science - Boca Raton Taylor & Francis - Soft Binding xvii 294
English
9780000000000
004.0151 WAN-F
Formal methods in computer science - Boca Raton Taylor & Francis - Soft Binding xvii 294
English
9780000000000
004.0151 WAN-F