Verwandte Artikel zu International Symposium on Programming: Proceedings...
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980: 83 (Lecture Notes in Computer Science) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für International Symposium on Programming: Proceedings...
Foto des Verkäufers
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science (83), Band 83)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567. Bestandsnummer des Verkäufers 224186
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-C-020-00338
Anzahl: 1 verfügbar
Foto des Verkäufers
International Symposium on Programming
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data ty. Bestandsnummer des Verkäufers 4880719
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable. Bestandsnummer des Verkäufers 9783540099819
Anzahl: 1 verfügbar
Foto des Verkäufers
International Symposium on Programming
ISBN 10: 3540099816
ISBN 13: 9783540099819
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch. Bestandsnummer des Verkäufers 9783540099819
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540099819_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540099819
Anzahl: 10 verfügbar
Foto des Verkäufers
International Symposium on Programming
Verlag:
Springer Berlin Heidelberg Apr 1980, 1980
ISBN 10: 3540099816
ISBN 13: 9783540099819
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable. 356 pp. Englisch. Bestandsnummer des Verkäufers 9783540099819
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
International Symposium on Programming
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 356. Bestandsnummer des Verkäufers 183093438
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
International Symposium on Programming
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 356. Bestandsnummer des Verkäufers 263093428
Anzahl: 4 verfügbar