Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science (501), Band 501)

Bibliography

von: Fernando Orejas · Michel Bidoit · Hans-J??rg Kreowski · Donald Sannella · Pierre Lescanne

Taschenbuch

ISBN: 978-3-540-54060-1

ISBN-10: 3-540-54060-1

Springer · 2008

S. auch (eventuell von anderen Autoren):
1991PaperbackAlgebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)