Articoli correlati a Lectures on the Logic of Computer Programming
Sinossi
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Partial correctness: Invariant method; Subgoal method; Subgoal method versus invariant method; Termination: Well-founded ordering method; The multiset ordering; Total correctness; Intermittent method; Systematic program annotation; Range of Individual variables; Relation between variables; Control invariants; Debugging; Termination and run-time analysis; Synthesis of programs: The weakest precondition operator; Transformation rules; Simultaneous-goal principle; Conditional- formation principle; Recursion-formulation principle; Generalization; Program modification; Comparison with structured programming; Termination of production systems: Examples: associativity; Example: distribution system; Differentiation system; Nested multisets.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSociety for Industrial and Applied Mathematics
- Data di pubblicazione1987
- ISBN 10 0898711649
- ISBN 13 9780898711646
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine53
- Contatto del produttorenon disponibile
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Petite...
Visualizza questo articolo
EUR 28,02
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per Lectures on the Logic of Computer Programming
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1980. Tome 31. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritativ ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1980. Volume 31. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-566-783
Quantità: 1 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antico o usato
Paperback
Da: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Crimped corner, otherwise text clean and solid; CBMS-NSF Regional Conference Series in Applied Mathematics 31; 0.4 x 9.8 x 6.8 Inches; 53 pages. Codice articolo 210461
Quantità: 1 disponibili