D. Bjorner

D. Bjorner’s Followers

None yet.

D. Bjorner

Combine Editions
D. Bjorner’s books

Average rating: 0.0 · 0 ratings · 0 reviews · 3 distinct works

	Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science) by D. Bjorner, C.A.R. Hoare, H. Langmaack (Editor) 0.00 avg rating — 0 ratings — published 1990 — 2 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
	The Vienna Development Method: The Meta-Language 0.00 avg rating — 0 ratings	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
	Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science) by J. Barzdins, D. Bjorner (Editor) 0.00 avg rating — 0 ratings — published 1991	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

* Note: these are all the books on Goodreads for this author. To add more, click here.

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