Abstract state machines : a method for high-level system design and analysis


Egon Börger, Robert Stärk
Bok Engelsk 2003
Utgitt
Berlin : Springer , c2003
Omfang
X, 438 s. : ill.
Opplysninger
1 CD-ROM i lomme
Emner
Dewey
ISBN
3540007024

Bibliotek som har denne