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

Theoretical

von Dines Bjørner

Taschenbuch

ISBN: 978-3-642-05940-7

ISBN-10: 3-642-05940-6

Springer · 2010

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