Cantitate/Preț
Produs

Programming Languages and their Definition: Selected Papers: Lecture Notes in Computer Science, cartea 177

Autor H. Bekic Editat de C. B. Jones
en Limba Engleză Paperback – aug 1984

Din seria Lecture Notes in Computer Science

Preț: 31481 lei

Preț vechi: 39351 lei
-20% Nou

Puncte Express: 472

Preț estimativ în valută:
6027 6530$ 5033£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540133780
ISBN-10: 354013378X
Pagini: 292
Ilustrații: XXXII, 254 p.
Dimensiuni: 155 x 233 x 15 mm
Greutate: 0.41 kg
Ediția:1984
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.