Dines Bjørner

Dines Bjørner’s Followers

None yet.

Dines Bjørner

Combine Editions
Dines Bjørner’s books

Average rating: 3.86 · 7 ratings · 0 reviews · 21 distinct works

	Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) 3.60 avg rating — 5 ratings — published 2005 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) it was amazing 5.00 avg rating — 1 rating — published 2007 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) really liked it 4.00 avg rating — 1 rating — published 2005 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Engineering: Specification Of Systems And Languages (Texts in Theoretical Computer Science. An EATCS Series) 0.00 avg rating — 0 ratings — published 2005 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... (Lecture Notes in Computer Science, 2244) 0.00 avg rating — 0 ratings — published 2001 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, 0.00 avg rating — 0 ratings — published 1988	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science) 0.00 avg rating — 0 ratings — published 2000 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Specification and Software Development 0.00 avg rating — 0 ratings — published 1982	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252) by Dines Bjørner (Editor), Erich J. Neuhold (Editor), Cliff B. Jones (Editor) 0.00 avg rating — 0 ratings — published 1987 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735) 0.00 avg rating — 0 ratings — published 1993 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Dines Bjørner…

Is this you? Let us know. If not, help out and invite Dines to Goodreads.