Axiomatising the logic of computer programming /

Bibliographic Details
Main Author:	Goldblatt, Robert
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 130.
Subjects:	Programming languages (Electronic computers) > Semantics. Proof theory. méthodologie programmation. axiomatisation. théorie démonstration. théorie commande. logique mathématique. programmation en logique. Langages de programmation > Sémantique. Preuve, Théorie de la. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xi, 304 pages)
Bibliography:	Includes bibliographical references (pages 291-298) and index.
ISBN:	0387112103 (U.S.) 9780387112107 (U.S.) 3540112103 9783540112105