Philippa gardner (16 Ergebnisse)

paperback. Zustand: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers. McAllan, Marina; Gardner, Marjory (illustrator).…

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 2009 edition. 101 pages. 9.50x6.00x0.25 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 2013 edition. 639 pages. 9.25x6.10x1.44 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Zing: Exploiting Program Structure for Model Checking Concurrent Software.- A Semantics for Concurrent Separation Logic.- A Survey of Regular Model Checking.- Resources, Concurrency and Local Reasoning.- Accepted Papers.- Resource Control for Synchronous Cooperative Threads.- Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.- The Pros and Cons of Netcharts.- Basic Theory of Reduction Congruence forTwo Timed Asynchronous -Calculi.- Characterizing EF and EX Tree Logics.- Message-Passing Automata Are Expressively Equivalent to EMSO Logic.- Symbolic Bisimulation in the Spi Calculus.- A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps.- Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.- ABC: A Minimal Aspect Calculus.- Type Based Discretionary Access Control.- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.- Modular Construction of Modal Logics.- Verification by Network Decomposition.- Reversible Communicating Systems.- Parameterised Boolean Equation Systems.- An Extensional Spatial Logic for Mobile Processes.- Timed vs. Time-Triggered Automata.- Extended Process Rewrite Systems: Expressiveness and Reachability.- A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications.- Model Checking Timed Automata with One or Two Clocks.- On Flatness for 2-Dimensional Vector Addition Systems with States.- Compiling Pattern Matching in Join-Patterns.- Model Checking Restricted Sets of Timed Paths.- Asynchronous Games 2: The True Concurrency of Innocence.- Open Maps, Alternating Simulations and Control Synthesis.- Probabilistic Event Structures and Domains.- Session Types for Functional Multithreading.- A Higher Order Modal FixedPoint Logic. …

paperback. Zustand: Gut. 548 Seiten; 9783540229407.3 Gewicht in Gramm: 1.

Taschenbuch. Zustand: Neu. CONCUR 2004 -- Concurrency Theory | 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings | Philippa Gardner (u. a.) | Taschenbuch | xiv | Englisch | 2004 | Springer | EAN 9783540229407 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Database Programming Languages | 12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings | Philippa Gardner (u. a.) | Taschenbuch | vii | Englisch | 2009 | Springer | EAN 9783642037924 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Programming Languages and Systems | 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings | Matthias Felleisen (u. a.) | Taschenbuch | xx | Englisch | 2013 | Springer | EAN 9783642370359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 640 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.…

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This volume contains the proceedings of the 12th International Symposium on Database Programming Languages (DBPL 2009), held in Lyon, France on - gust 24, 2009,and co-locatedwith VLDB (the International Conference on Very Large Data Bases). DBPL continues to present high-quality work at the intersection of database and programming language research. This proceedings volume contains the six papersacceptedforDBPL2009,whichwereselectedbytheProgramCommittee. Every submission was reviewed by at least three members of the committee. In addition, we sought the opinions of external referees, chosen because of their expertise in a particular topic. We would like to thank all the authorswho submitted papers to DBPL 2009. We also thank the members of the Program Committee for their excellent work during the electronic selection meeting. We are grateful to Andrei Voronkov for his EasyChair system, which made these discussions comparatively straightf- ward. WewouldliketothankMarceloArenasandMichaelI.Schwartzbachfortheir assistanceandsoundcouncilasProgramChairsofDBPL2007.We?nallythank Mohand-Said Hacid and Jean-Marc Petit for their superb local organization of DBPL 2009.…

Zustand: As New. Unread book in perfect condition.