International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980: 83 - Brossura
Contenuti
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.- Échappements et continuations en semantique dénotationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per International Symposium on Programming: Proceedings...
Foto dell'editore
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.0387099816 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo DA1412459
Compra usato
EUR 43,28
Spese di spedizione:
EUR 6,05
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567. Codice articolo 224186
Compra usato
EUR 38,00
Spese di spedizione:
EUR 14,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020158757
Compra nuovo
EUR 53,11
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo Z1-C-020-00338
Compra usato
EUR 48,05
Spese di spedizione:
EUR 12,11
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540099819_new
Compra nuovo
EUR 57,57
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540099819
Compra nuovo
EUR 55,98
Spese di spedizione:
EUR 17,62
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
International Symposium on Programming
ISBN 10: 3540099816
ISBN 13: 9783540099819
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540099819
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
International Symposium on Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356. Codice articolo 263093428
Compra nuovo
EUR 75,62
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
International Symposium on Programming
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 356 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5803115
Compra nuovo
EUR 78,46
Spese di spedizione:
EUR 7,40
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
International Symposium on Programming
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 356. Codice articolo 183093438
Compra nuovo
EUR 79,16
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili