Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

Development

von Kevin Lano

Taschenbuch

ISBN-13: 978-3-540-19978-6

ISBN-10: 3-540-19978-0

Springer · 2013