Axiomatising the Logic of Computer Programming - Couverture souple

Goldblatt, R.

 
9783662195574: Axiomatising the Logic of Computer Programming
Couverture souple
ISBN 10 : 3662195577 ISBN 13 : 9783662195574
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662195577
ISBN 13 
9783662195574
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540112105: Axiomatising the Logic of Computer Programming

Edition présentée

ISBN 10 :  3540112103 ISBN 13 :  9783540112105
Editeur : Springer, 2008
Couverture souple