Abstract State Machines, B and Z

Type:

e-book

Titel:

Abstract State Machines, B and Z

Auteur:

Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2008

ISBN:

3-540-87602-2
3-540-87603-0

Onderwerp:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000490193