Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Engineering

von Dines Bjørner

Gebunden

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

ISBN-10: 3-540-21150-0

Springer · 2006

S. auch:
2010TaschenbuchSoftware Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)