Miklos Biro – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Del 9675

Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro - Abstract State Machines, Alloy, B, TLA, VDM, and Z, Häftad

Del 9675 - Lecture Notes in Computer Science

Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

AvMichael Butler,Klaus-Dieter Schewem. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar