Axiomatising the Logic of Computer Programming
Autor R. Goldblatten Limba Engleză Paperback – mar 1982
Preț: 153.67 lei
Preț vechi: 192.09 lei
-20% Nou
Puncte Express: 231
Preț estimativ în valută:
27.19€ • 31.72$ • 23.77£
27.19€ • 31.72$ • 23.77£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540112105
ISBN-10: 3540112103
Pagini: 320
Ilustrații: XIII, 304 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540112103
Pagini: 320
Ilustrații: XIII, 304 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.