Axiomatising the Logic of Computer Programming de R. Goldblatt

Axiomatising the Logic of Computer Programming: Lecture Notes in Computer Science, cartea 130

Autor R. Goldblatt

en Limba Engleză Paperback – mar 1982

Din seria Lecture Notes in Computer Science

Preț: 155^.36 lei

Preț vechi: 194^.20 lei
-20% Nou

Puncte Express: 233

:
29^.73€ • 30^.88$ • 24^.70£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

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 17 mm
Greutate: 0.45 kg
Ediția:1982
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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