High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))

Information

von Jonathan P. Bowen

Taschenbuch

EAN=ISBN-13: 978-3-540-76226-3

ISBN-10: 3-540-76226-4

Springer · 2013