Teaching and learning formal methods


edited by C. Neville Dean and Michael G. Hinchey
Bok Engelsk 1996

Detaljer

Bibliotek som har denne