Formal Specification Of Software Using Abstract State Machines

Download Formal Specification Of Software Using Abstract State Machines PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formal Specification Of Software Using Abstract State Machines book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Abstract State Machines

Author: Egon Börger
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
Abstract State Machines

Author: Egon Börger
language: en
Publisher: Springer Science & Business Media
Release Date: 2003-04-23
This text includes audiovisual material (CD-ROM).