Axiomatic Proof Techniques for Parallel Programmes (Outstanding Dissertations in the Computer Sciences S.) - Hardcover

Owicki, Susan Speer

 
9780824044138: Axiomatic Proof Techniques for Parallel Programmes (Outstanding Dissertations in the Computer Sciences S.)