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.

Download

Formal Specification of Software Using Abstract State Machines


Formal Specification of Software Using Abstract State Machines

Author: Charles Robert Wallace

language: en

Publisher:

Release Date: 1999


DOWNLOAD





Abstract State Machines


Abstract State Machines

Author: Egon Börger

language: en

Publisher: Springer Science & Business Media

Release Date: 2012-12-06


DOWNLOAD





Abstract State Machines


Abstract State Machines

Author: Egon Börger

language: en

Publisher: Springer Science & Business Media

Release Date: 2003-04-23


DOWNLOAD





This text includes audiovisual material (CD-ROM).