Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130) - Softcover

Goldblatt, R.

 
9783540112105: Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130, Band 130)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783662195574: Axiomatising the Logic of Computer Programming

Vorgestellte Ausgabe

ISBN 10:  3662195577 ISBN 13:  9783662195574
Verlag: Springer, 2014
Softcover