Books · Search
Domain Science and Engineering
2022
Perspectives of System Informatics
2003
Software Engineering 1
2006
(Andreǐ Petrovich) · Computer programming
Images of programming
1991
Automatic programming (Computer science) · Compiling (Electronic computers)
Partial evaluation and mixed computation
1988
Logic design · Computer science
Software Engineering 2
Software Engineering 3
Electronic digital computers · Software compatibility
Formal specification and software development
1982
2007
Software engineering
VDM '90. VDM and Z - Formal Methods in Software Development
2014
Logics of Specification Languages
2008
Structure of Pure Reason
2025
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 2 Specification Of Systems And Languages
2010
Software Engineering 1 Abstraction And Modelling
2011
