Your search returned 2 results.

Results
			No cover image available Computer Aided Verification : Lecture Notes in Computer Science:Proceedings by Berry, G.: Comon, H.: Finkel, A Language: English Publication details: Springer: ; 2001 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 006.3 B26. Place hold Add to cart (remove)
			No cover image available VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS by APT K.R. & OLDEROG E Edition: 2nd ed. Language: English Publication details: NEW YORK : SPRINGER ; 1997 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.14 A67. Place hold Add to cart (remove)

Refine your search