D. Bjørner
Popular items by D. Bjørner
View all offers-
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science, 735)
Bjorner, Dines; Broy, Manfred & Pottosin, Igor
Item prices starting from
View 18 offers£ 6.71
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Item prices starting from
View 39 offers£ 41.42
-
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Item prices starting from
View 28 offers£ 64.97
-
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Item prices starting from
View 17 offers£ 65.45
-
The Structure of Pure Reason: Philosophy’s View of Our Situation in the World
Sørlander, Kai
Item prices starting from
View 18 offers£ 83.09
-
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
Item prices starting from
View 32 offers£ 90.12
