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

Dines Bjorner, "Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)"
Publisher: Springer | ISBN: 3540211500 | 780 pages | PDF | ~ 30 MB

Download from Rapidshare.com