System Design from Provably Correct Constructs: Beginnings of True Software Engineering - Hardcover

Martin, James

 
9780138814830: System Design from Provably Correct Constructs: Beginnings of True Software Engineering