- 5 Risultati
prezzo più basso: € 41,16, prezzo più alto: € 175,15, prezzo medio: € 73,01
1
CONCUR 2005 - Concurrency Theory - Abadi, Martin Alfaro, Luca de
Ordina
da booklooker.de
€ 48,45
Spedizione: € 0,001
OrdinaLink sponsorizzato
Abadi, Martin Alfaro, Luca de:

CONCUR 2005 - Concurrency Theory - Prima edizione

2005, ISBN: 9783540283096

edizione con copertina flessibile

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the … Altro …

Costi di spedizione:Spedizione gratuita. (EUR 0.00) Moluna GmbH
2
Ordina
da Biblio.co.uk
$ 50,03
(indicativi € 46,80)
Spedizione: € 24,161
OrdinaLink sponsorizzato

Abadi, Martín [Editor]; de Alfaro, Luca [Editor];:

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes ... Computer Science and General Issues) - edizione con copertina flessibile

2005, ISBN: 9783540283096

Springer, 2005-08-08. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2005-08-08, 3

Costi di spedizione: EUR 24.16 GuthrieBooks
3
Ordina
da alibris.co.uk
€ 41,16
OrdinaLink sponsorizzato
Martin Abadi, Luca De Alfaro:
Concur 2005-Concurreny Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings - edizione con copertina flessibile

2005

ISBN: 9783540283096

Trade paperback, New Book Original US edition, We Ship to PO BOX Address also., Brand New, [PU: Springer]

Costi di spedizione:Costi di spedizione aggiuntivi Sterling Heights, MI, discount_scientific_books
4
CONCUR 2005 - Concurrency Theory - Martín Abadi; Luca de Alfaro
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 9,951
OrdinaLink sponsorizzato
Martín Abadi; Luca de Alfaro:
CONCUR 2005 - Concurrency Theory - Prima edizione

2005, ISBN: 9783540283096

edizione con copertina flessibile

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005

Costi di spedizione:Versand in 10-14 Tagen. (EUR 9.95)
5
Ordina
da Biblio.co.uk
$ 190,63
(indicativi € 175,15)
Spedizione: € 18,371
OrdinaLink sponsorizzato
MARTIN ABADI, LUCA DE ALFARO:
CONCUR 2005 - CONCURRENY THEORY: 16TH INTERNATIONAL CONFERENCE, CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005, PROCEEDINGS - edizione con copertina flessibile

2005, ISBN: 9783540283096

SPRINGER, 2005. Softcover. New., SPRINGER, 2005, 6

IND - IndiaCosti di spedizione: EUR 18.37 BookVistas

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
CONCUR 2005 - Concurrency Theory

This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005.The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.

Informazioni dettagliate del libro - CONCUR 2005 - Concurrency Theory


EAN (ISBN-13): 9783540283096
ISBN (ISBN-10): 3540283099
Copertina flessibile
Anno di pubblicazione: 2005
Editore: Springer Berlin
600 Pagine
Peso: 0,894 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-27T06:40:34+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-11-10T09:42:48+01:00 (Zurich)
ISBN/EAN: 3540283099

ISBN - Stili di scrittura alternativi:
3-540-28309-9, 978-3-540-28309-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : alfaro, martin, abad, abadi, luca
Titolo del libro: theoretical computer science, concurrency, san francisco, third international theory, august lucas, usa, international conference proceedings, 2005


Dati dell'editore

Autore: Martín Abadi; Luca de Alfaro
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; CONCUR 2005 - Concurrency Theory - 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Editore: Springer; Springer Berlin
1280 Pagine
Anno di pubblicazione: 2005-08-08
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XXIV, 1280 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Informatik; algorithm; algorithms; concurrency; distributed programming; logic; logic programming; model checking; petri net; programming; real-time; semantics; verification; Computer System Implementation; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; EA

Invited Lectures.- Static Analysis Versus Model Checking for Bug Finding.- The Benefits of Exposing Calls and Returns.- A Compositional Approach to the Stochastic Dynamics of Gene Networks.- Contributed Papers.- Games Other People Play.- Type-Directed Concurrency.- Multiport Interaction Nets and Concurrency.- Model Checking for ?-Calculus Using Proof Search.- A Game Semantics of the Asynchronous ?-Calculus.- Efficient On-the-Fly Algorithms for the Analysis of Timed Games.- Modal Logics for Timed Control.- Timed Shuffle Expressions.- A New Modality for Almost Everywhere Properties in Timed Automata.- The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.- A Behavioural Pseudometric for Metric Labelled Transition Systems.- On Probabilistic Program Equivalence and Refinement.- Probabilistic Anonymity.- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.- Timed Spi-Calculus with Types for Secrecy and Authenticity.- Selecting Theories and Recursive Protocols.- Constraint Solving for Contract-Signing Protocols.- A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.- Bisimulations Up-to for the Linear Time Branching Time Spectrum.- Deriving Weak Bisimulation Congruences from Reduction Systems.- SOS for Higher Order Processes.- The Individual and Collective Token Interpretations of Petri Nets.- Merged Processes — A New Condensed Representation of Petri Net Behaviour.- Concurrent Clustered Programming.- A Theory of System Behaviour in the Presence of Node and Link Failures.- Comparing Two Approaches to Compensable Flow Composition.- Transactions in RCCS.- Two-Player Nonzero-Sum ?-Regular Games.- Games Where You Can PlayOptimally Without Any Memory.- On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.- Defining Fairness.- Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.- Termination Analysis of Integer Linear Loops.- A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.- Verification of Qualitative ? Constraints.- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.- Taming Interface Specifications.- Synthesis of Distributed Systems from Knowledge-Based Specifications.

< Per archiviare...