Axiomatising the Logic of Computer Programming

Fotogalerie

Zur Bildergalerie

R. Goldblatt

Axiomatising the Logic of Computer Programming

Broschiertes Buch

Jetzt bewerten Jetzt bewerten

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Inhaltsangabe

Andere Kunden interessierten sich auch für

Randi E. Constable
An Introduction to the PL/CV2 Programming Logic

39,99 €
Dix
Non-Monotonic Extensions of Logic Programming

39,99 €
David Pearce / Gerd Wagner (eds.)
Logics in AI

39,99 €
Peter Schroeder-Heister (ed.)
Extensions of Logic Programming

39,99 €
Ewing Lusk / Ross Overbeek (eds.)
9th International Conference on Automated Deduction

77,99 €
Baumgartner
Theorem Proving with Analytic Tableaux and Related Methods

39,99 €
Rough Sets and Current Trends in Computing

39,99 €

Produktbeschreibung

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Produktdetails

Produktdetails
Lecture Notes in Computer Science 130
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Artikelnr. des Verlages: 978-3-540-11210-5
1982.
Seitenzahl: 320
Erscheinungstermin: 1. März 1982
Englisch
Abmessung: 235mm x 155mm x 18mm
Gewicht: 454g
ISBN-13: 9783540112105
ISBN-10: 3540112103
Artikelnr.: 23147102

Herstellerkennzeichnung

Produktdetails

Lecture Notes in Computer Science 130
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Artikelnr. des Verlages: 978-3-540-11210-5
1982.
Seitenzahl: 320
Erscheinungstermin: 1. März 1982
Englisch
Abmessung: 235mm x 155mm x 18mm
Gewicht: 454g
ISBN-13: 9783540112105
ISBN-10: 3540112103
Artikelnr.: 23147102

Herstellerkennzeichnung

Inhaltsangabe

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Inhaltsangabe

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.