- 5 Risultati
prezzo più basso: € 8,90, prezzo più alto: € 42,21, prezzo medio: € 33,12
1
Internationales Symposium über Programmierung: 5. Kolloquium, Turin, 6. bis 8. April 1982. - M. Dezani-Ciancaglini, U. Montanari
Ordina
da ebay.de
€ 38,09
Spedizione: € 8,921
OrdinaLink sponsorizzato
M. Dezani-Ciancaglini, U. Montanari:

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 …

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) phatpocket
2
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings - U. Montanari
Ordina
da ZVAB.com
€ 38,91
Spedizione: € 0,001
OrdinaLink sponsorizzato

U. Montanari:

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 …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
International Symposium on Programming
Ordina
da Hugendubel.de
€ 37,49
OrdinaLink sponsorizzato
International Symposium on Programming - edizione con copertina flessibile

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 …

Costi di spedizione:Does not ship to your country., Costi di spedizione aggiuntivi
4
International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science) - Dezani-Ciancaglini, M. [Editor]; Montanari, U. [Editor];
Ordina
da AbeBooks.de
€ 42,21
Spedizione: € 42,361
OrdinaLink sponsorizzato
Dezani-Ciancaglini, M. [Editor]; Montanari, U. [Editor];:
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

NOT NEW BOOK. Costi di spedizione: EUR 42.36 GuthrieBooks, Spring Branch, TX, U.S.A. [52069477] [Rating: 5 (von 5)]
5
International Symposium on Programming Lecture notes in computer science ; Vol. 137 - dezani-Ciancaglini, M.
Ordina
da Achtung-Buecher.de
€ 8,90
Spedizione: € 0,001
OrdinaLink sponsorizzato
dezani-Ciancaglini, M.:
International Symposium on Programming Lecture notes in computer science ; Vol. 137 - libri usati

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 …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro

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.

< Per archiviare...