An Introduction to the PL/CV2 Programming Logic de R. L. Constable

An Introduction to the PL/CV2 Programming Logic: Lecture Notes in Computer Science, cartea 135

Autor R. L. Constable, S. D. Johnson, C. D. Eichenlaub

en Limba Engleză Paperback – apr 1982

Din seria Lecture Notes in Computer Science

Preț: 316^.96 lei

Preț vechi: 396^.21 lei
-20% Nou

Puncte Express: 475

:
60^.66€ • 63^.100$ • 50^.55£

Carte disponibilă

Livrare economică 09-14 decembrie
Livrare express 27 noiembrie-03 decembrie pentru 38^.12 lei

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540114925
ISBN-10: 3540114920
Pagini: 308
Ilustrații: X, 314 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.47 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

The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.