Books by Dines Bjorner
Total count: 4
Partial Evaluation and Mixed ComputationProceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark,North-Holland1988-10-01
Software Engineering 1Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)1 editionSpringer2006-02-10
Software Engineering 2Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)1 editionSpringer2006-04-11
Software Engineering 3Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)1 editionSpringer2006-04-11