D. Björner

D B · D. Bjorner · Dines Bjørner

Prentice Hall · Springer

Titel ISBN-13Erscheinungsjahr
Formal specification and software development
978-0-13-329003-51982
Software Engineering 1. Abstraction and Modelling: v. 1 978-3-540-21149-52005
Software Engineering 2. Specification of Systems and Languages: 2 978-3-540-21150-12005
Software Engineering 3. Domains, Requirements, and Software Design: v. 3 978-3-540-21151-82008

 

D. Bjorner