Axiomatising the Logic of Computer Programming: 130 - Brossura

Goldblatt, R.

 
9783540112105: Axiomatising the Logic of Computer Programming: 130
Brossura
ISBN 10: 3540112103 ISBN 13: 9783540112105
Casa editrice: Springer, 2008

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540112103
ISBN 13 
9783540112105
Rilegatura
Copertina flessibile
Numero di pagine
320
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783662195574: Axiomatising the Logic of Computer Programming

Edizione in evidenza

ISBN 10:  3662195577 ISBN 13:  9783662195574
Casa editrice: Springer, 2014
Brossura