Cover of Axiomatising the logic of computer programming

An edition of Axiomatising the logic of computer programming (1982)

Axiomatising the logic of computer programming

By Robert Goldblatt

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1982

Publisher

Springer-Verlag

Language

eng

Pages

304

Description:

subjects: Proof theory, Semantics, Programming languages (Electronic computers), Théorie démonstration, Théorie commande, Méthodologie programmation, Preuve, Théorie de la, Langages de programmation, Programmation en logique, Axiomatisation, Logique mathématique, Sémantique