Books by D. Bjorner

D. Bjorner
Average rating 0.0 · 0 ratings · 0 reviews · shelved 2 times

Showing 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 by D. Bjorner (Editor) 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 books, click here.