Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science, Band 5238)

Proceedings

von: Egon Börger · Michael Butler · Jonathan P. Bowen · Paul Boca

Taschenbuch

EAN=ISBN-13: 978-3-540-87602-1

ISBN-10: 3-540-87602-2

Springer · 2008