,

Discover new books on Goodreads

See if your friends have read any of Vaughan R. Pratt's books

Vaughan R. Pratt

Vaughan R. Pratt’s Followers (1)

member photo

Vaughan R. Pratt

Combine Editions
Vaughan R. Pratt’s books

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

	Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) by Vaughan R. Pratt (Editor), Doron A. Peled (Editor), Gerard J. Holzmann (Editor) 0.00 avg rating — 0 ratings — published 1997	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
	SHELLSORT SORTING NETWORKS 0.00 avg rating — 0 ratings — published 1979 — 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
	Second Calculus of Binary Relations as a Concurrent Programming 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

* 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 Vaughan to Goodreads.