Vdm '87 vdm - a formal method at work (e-book)

Bjørner, Dines

Vdm '87 vdm - a formal method at work (e-book) - Berlin Springer 1987 - Lecture Notes in Computer Science (LNCS) v.252 .

978-3-540-47740-2

Powered by Koha