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.
Risultati 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
Compra usato
EUR 5,55
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1214136-n
Compra nuovo
EUR 48,79
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification. Codice articolo LU-9780898711646
Compra nuovo
EUR 51,18
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
PAP
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FW-9780898711646
Compra nuovo
EUR 47,37
Spedizione EUR 3,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 1214136
Compra usato
EUR 51,42
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Editore:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 1987. paperback. . . . . . Codice articolo V9780898711646
Compra nuovo
EUR 50,48
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial & Applied, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock. Codice articolo __0898711649
Compra nuovo
EUR 49,32
Spedizione EUR 11,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Brossura
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1214136-n
Compra nuovo
EUR 47,91
Spedizione EUR 17,61
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming
Editore:
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Paperback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. New copy - Usually dispatched within 4 working days. Codice articolo B9780898711646
Compra nuovo
EUR 56,10
Spedizione EUR 14,38
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Editore:
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuovo
Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. 1987. paperback. . . . . . Books ship from the US and Ireland. Codice articolo V9780898711646
Compra nuovo
EUR 62,68
Spedizione EUR 9,21
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili