Abstract State Machines, Alloy, B and Z

Type:

e-book

Titel:

Abstract State Machines, Alloy, B and Z

Auteur:

Frappier, Marc; Glässer, Uwe; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2010

ISBN:

3-642-11810-0
9786613563637
3-642-11811-9
1-280-38571-5

Permalink:

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