Your search returned 3 results.

Results
		No cover image available Mathematical theory of program correctness by de Bakker, Jaco \| . Series: Edition: Language: English Publication details: ; Prentice/Hall International ; Availability: Items available for loan: 1 Call number: 681.3.06:519.28deB. Place hold Add to cart (remove)
		Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book) by Dams, Dennis [Editor] \| Hannemann, Ulrich [Editor] \| Steffen, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5930 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search