R. Goldblatt

Broschiertes Buch

Axiomatising the Logic of Computer Programming

Beschreibung

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

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