Axiomatising the Logic of Computer Programming: 130 - Brossura

Goldblatt, Robert

 
9780387112107: Axiomatising the Logic of Computer Programming: 130
Brossura
ISBN 10: 0387112103 ISBN 13: 9780387112107
Casa editrice: Springer Verlag, 1982

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer Verlag
Data di pubblicazione
1982
Lingua
Inglese
ISBN 10 
0387112103
ISBN 13 
9780387112107
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783540112105: Axiomatising the Logic of Computer Programming: 130

Edizione in evidenza

ISBN 10:  3540112103 ISBN 13:  9783540112105
Casa editrice: Springer, 2008
Brossura