Books by M. Bidoit

M. Bidoit
Average rating 4.29 · 7 ratings · 0 reviews · shelved 17 times

Showing 2 distinct works.

	Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie 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) by M. Bidoit 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.