FM 2005: Formal Methods

Formal

Taschenbuch

EAN=ISBN-13: 978-3-540-81331-6

ISBN-10: 3-540-81331-4

(978-3-540)