M. Bidoit’s Followers (8)

M. Bidoit

Average rating: 4.29 · 7 ratings · 0 reviews · 2 distinct works

	Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard, M. Bidoit, A. Finkel 4.29 avg rating — 7 ratings — published 2001 — 4 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
	Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science) 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 M. to Goodreads.