Formal methods in programming and their applications (e-book)

Bjørner, Dines

Formal methods in programming and their applications (e-book) - Berlin Springer 1993 - Lecture Notes in Computer Science (LNCS) v.735 .

978-3-540-48056-3

Powered by Koha