Verwandte Artikel zu Lectures on the Logic of Computer Programming Paperback:...
Lectures on the Logic of Computer Programming Paperback: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) - Softcover
Inhaltsangabe
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSociety for Industrial and Applied Mathematics
- Erscheinungsdatum1987
- ISBN 10 0898711649
- ISBN 13 9780898711646
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten53
- Kontakt zum HerstellerNicht verfügbar
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque. Petite...
Diesen Artikel anzeigen
EUR 28,02
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Lectures on the Logic of Computer Programming Paperback:...
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649
ISBN 13: 9780898711646
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers E-566-783
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Lectures on the Logic of Computer Programming
Verlag:
Society for Industrial Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Gebraucht
Paperback
Anbieter: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 210461
Anzahl: 1 verfügbar