Constructing Correct Software - Couverture souple

Cooke, John

 
9781447139867: Constructing Correct Software

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

0 Introduction.- 1 The Specification of Functions I.- 1A The Specification of Functions II.- 2 Transformations I.- 2A Transformations II.- 3 Algorithm Extraction.- 4 Specifications Revisited (Quantifications etc.).- 5 Refinement.- 6 Sorting.- 7 Two Further Examples.- 8 The Broader Picture.- Appendix Transformation Digest.- A.1 Data Manipulation Rules.- A.2 Quantifier Properties.- A.3 'Not Occurs in'.- A.4 On PDL.- A.5 PDL Transformation Rules.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9781852338206: Constructing Correct Software

Edition présentée

ISBN 10 :  1852338202 ISBN 13 :  9781852338206
Editeur : Springer London, 2010
Couverture souple