Verwandte Artikel zu Programming Languages and their Definition: Selected...
Programming Languages and their Definition: Selected Papers: 177 (Lecture Notes in Computer Science) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 58,05
EUR 13,74 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Programming Languages and their Definition: Selected...
Beispielbild für diese ISBN
Programming Languages and Their Definition: Selected Papers
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984
ISBN 10: 354013378X
ISBN 13: 9783540133780
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Pages cornées. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Dog-eared pages. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-596-292
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science, 177)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540133780_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Programming Languages and their Definition : Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540133780
Anzahl: 1 verfügbar