Refinement Calculus: A Systematic Introduction by Ralph-Johan Back (English) Pap
117,31 €
1 Introduction. - 1.1 Contracts. - 1.2 Using Contracts. - 1.3 Computers as Agents. - 1.4 Algebra of Contracts. - 1.5 Programming Constructs. - 1.6 Specification Constructs. - 1.7 Correctness.
Jetzt bei Ebay:
