Axiomatising the Logic of Computer Programming
Autor R. Goldblatten Limba Engleză Paperback – mar 1982
Preț: 152.36 lei
Preț vechi: 190.44 lei
-20%
Puncte Express: 229
Preț estimativ în valută:
26.94€ • 31.62$ • 23.37£
26.94€ • 31.62$ • 23.37£
Carte tipărită la comandă
Livrare economică 09-23 martie
Specificații
ISBN-13: 9783540112105
ISBN-10: 3540112103
Pagini: 320
Ilustrații: XIII, 304 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.45 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.45 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.