Abstract State Machines, Alloy, B and Z

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-642-11812-8

ISBN-10: 3-642-11812-7

(978-3-642)