Programming Languages and their Definition
Autor H. Bekic Editat de C. B. Jonesen Limba Engleză Paperback – aug 1984
Preț: 321.74 lei
Preț vechi: 402.18 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540133780
ISBN-10: 354013378X
Pagini: 292
Ilustrații: XXXII, 254 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:1984
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354013378X
Pagini: 292
Ilustrații: XXXII, 254 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Ediția:1984
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-31%Preț: 328.28 lei472.43 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 387.68 lei484.60 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-19%Preț: 565.71 lei698.41 lei -
-23%Preț: 464.09 lei602.72 lei -
Preț: 399.97 lei -
Introduction to Mathematica® with ApplicationsMarian Mure¿an-20%Preț: 738.72 lei923.40 lei -
Arithmetic of Finite FieldsSylvain Duquesne-20%Preț: 321.74 lei402.18 lei -
Preț: 374.09 lei -
Theory and Applications of Models of ComputationT. V. Gopal-20%Preț: 343.86 lei429.81 lei -
Relational and Algebraic Methods in Computer SciencePeter Höfner-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 319.92 lei399.90 lei -
-20%Preț: 202.35 lei252.95 lei -
Rewriting, Computation and ProofHubert Comon-Lundh-20%Preț: 321.74 lei402.18 lei -
-20%Preț: 327.04 lei408.80 lei -
-20%Preț: 327.69 lei409.62 lei
Public țintă
ResearchCuprins
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.