Internationales Symposium über Programmierung: 5. Kolloquium, Turin, 6. bis 8. April 1982. - edizione con copertina flessibile
1982, ISBN: 9783540114949
Proceedings (Lecture. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in… Altro …
ebay.de phatpocket 99.0, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Costi di spedizione:Versand zum Fixpreis, [SHT: Standardversand], Hertfordshire, [TO: Weltweit] (EUR 8.92) Details... |
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings - edizione con copertina flessibile
1982, ISBN: 3540114947
[EAN: 9783540114949], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHM; ALGORITHMS; CONCURRENCY; LOGIC; PARALLELISM; PROGRAMSYNTHESIS; SEMANTICS; THEOREMPROVING; VERIFICATI… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540114949
*International Symposium on Programming* - 5th Colloquium Turin April 6-8 1982. Proceedings. Auflage 1982 / Taschenbuch für 37.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Interne… Altro …
Hugendubel.de Costi di spedizione:Does not ship to your country., Costi di spedizione aggiuntivi Details... |
International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile
1982, ISBN: 3540114947
[EAN: 9783540114949], Gebraucht, sehr guter Zustand, [PU: Springer], 0387114947 Ex-library paperback in very nice condition with the usual markings and attachments., Books
AbeBooks.de GuthrieBooks, Spring Branch, TX, U.S.A. [52069477] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione: EUR 42.36 Details... |
1982, ISBN: 3540114947
Broschiert VI, 406 Seiten; Broschiert Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel … Altro …
Achtung-Buecher.de Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Internationales Symposium über Programmierung: 5. Kolloquium, Turin, 6. bis 8. April 1982. - edizione con copertina flessibile
1982, ISBN: 9783540114949
Proceedings (Lecture. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in… Altro …
U. Montanari:
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings - edizione con copertina flessibile1982, ISBN: 3540114947
[EAN: 9783540114949], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], ALGORITHM; ALGORITHMS; CONCURRENCY; LOGIC; PARALLELISM; PROGRAMSYNTHESIS; SEMANTICS; THEOREMPROVING; VERIFICATI… Altro …
ISBN: 9783540114949
*International Symposium on Programming* - 5th Colloquium Turin April 6-8 1982. Proceedings. Auflage 1982 / Taschenbuch für 37.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Interne… Altro …
International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile
1982, ISBN: 3540114947
[EAN: 9783540114949], Gebraucht, sehr guter Zustand, [PU: Springer], 0387114947 Ex-library paperback in very nice condition with the usual markings and attachments., Books
1982, ISBN: 3540114947
Broschiert VI, 406 Seiten; Broschiert Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel … Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - International Symposium on Programming
EAN (ISBN-13): 9783540114949
ISBN (ISBN-10): 3540114947
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
416 Pagine
Peso: 0,626 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-10-19T10:26:55+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-03-15T08:06:35+01:00 (Rome)
ISBN/EAN: 9783540114949
ISBN - Stili di scrittura alternativi:
3-540-11494-7, 978-3-540-11494-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : montanari, ciancaglini, turin
Titolo del libro: turin, lecture notes computer science, international symposium programming, proceedings symposium, proceedings from 5th, internat, colloquium, 137
Dati dell'editore
Autore: M. Dezani-Ciancaglini; U. Montanari
Titolo: Lecture Notes in Computer Science; International Symposium on Programming - 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Editore: Springer; Springer Berlin
416 Pagine
Anno di pubblicazione: 1982-03-01
Berlin; Heidelberg; DE
Lingua: Inglese
37,44 € (DE)
38,49 € (AT)
47,09 CHF (CH)
Available
VIII, 416 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; algorithm; algorithms; concurrency; logic; parallelism; program synthesis; program transformation; programming; semantics; theorem proving; verification; Computer Science Logic and Foundations of Programming; Programming Techniques; Computerprogrammierung und Softwareentwicklung; EA
Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sallé types.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642166891 Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Shengchao Qin)
- 9783642166891 Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Shengchao Qin)
- 9783540099819 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) (Robinet, B.)
- 9780387099811 International Symposium on Programming: Proceedings of the Fourth Colloque International Sur LA Programmation, Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83) (n/a)
< Per archiviare...