Abstract state machines - theory and applications (e-book)

Gurevich, Yuri

Abstract state machines - theory and applications (e-book) - Berlin Springer 2000 - Lecture Notes in Computer Science (LNCS) v.1912 .

978-3-540-44518-0

Powered by Koha