Lectures on the Logic of Computer Programming Paperback: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) - Softcover

Manna

 
9780898711646: Lectures on the Logic of Computer Programming Paperback: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Softcover
ISBN 10: 0898711649 ISBN 13: 9780898711646
Verlag: Society for Industrial and Applied Mathematics, 1987

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.

Verlag
Society for Industrial and Applied Mathematics
Erscheinungsdatum
1987
Sprache
Englisch
ISBN 10 
0898711649
ISBN 13 
9780898711646
Einband
Tapa blanda
Anzahl der Seiten
53
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar