D B · D. Bjorner · Dines Bjørner
Titel | ISBN-13 | Erscheinungsjahr | |
---|---|---|---|
Formal specification and software development | 978-0-13-329003-5 | 1982 | |
Software Engineering 1. Abstraction and Modelling: v. 1 | 978-3-540-21149-5 | 2005 | |
Software Engineering 2. Specification of Systems and Languages: 2 | 978-3-540-21150-1 | 2005 | |
Software Engineering 3. Domains, Requirements, and Software Design: v. 3 | 978-3-540-21151-8 | 2008 |