Bjøner, Dines.
Software Engineering 3 Domains, Requirements, and Software Design / [electronic resource] :
by Dines Bjøner.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Texts in Theoretical Computer Science An EATC Series .
9783540336532
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
QA76.758 / B56 2006