Byron Cook

Byron Cook’s Followers

None yet.

Byron Cook

Combine Editions
Byron Cook’s books

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

	Verification, Model Checking, and Abstract Interpretation by Byron Cook, Andreas Podelski (Editor) 0.00 avg rating — 0 ratings — published 2007	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
	Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science (4349)) 0.00 avg rating — 0 ratings — published 2007	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
	Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science Book 4349) by Byron Cook (Editor), Andreas Podelski (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
	Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture Notes in Computer Science, 5825) by María Alpuente (Editor), Byron Cook (Editor), Christophe Joubert (Editor) 0.00 avg rating — 0 ratings — published 2009 — 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
	Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science, 6174) by Tayssir Touili (Editor), Byron Cook (Editor), Paul Jackson (Editor) 0.00 avg rating — 0 ratings — published 2010 — 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 Byron Cook…

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