Vor Ort
Merkzettel Warenkorb
  • Produktbild: Foundations of Software Science and Computation Structures
  • Produktbild: Foundations of Software Science and Computation Structures
Band 7794

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.02.2013

Abbildungen

XXIV, 451 p. 51 illus.

Herausgeber

Frank Pfenning

Verlag

Springer Berlin

Seitenzahl

451

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-37074-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.02.2013

Abbildungen

XXIV, 451 p. 51 illus.

Herausgeber

Frank Pfenning

Verlag

Springer Berlin

Seitenzahl

451

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-37074-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Foundations of Software Science and Computation Structures
  • Produktbild: Foundations of Software Science and Computation Structures
  • Pattern Graphs and Rule-Based Models: The Semantics of Kappa.- History-Register Automata.- Fatal Attractors in Parity Games.- On Unique Decomposition of Processes in the Applied π-Calculus.- Bounded Context-Switching and Reentrant Locking.- Reachability of Communicating Timed Processes.- Modular Bisimulation Theory for Computations and Values.- Checking Bisimilarity for Attributed Graph Transformation.- Comodels and Effects in Mathematical Operational Semantics.- Preorders on Monads and Coalgebraic Simulations.- A Proof System for Compositional Verification of Probabilistic Concurrent Processes.- Partiality and Recursion in Higher-Order Logic.- Some Sahlqvist Completeness Results for Coalgebraic Logics.- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.- On Monadic Parametricity of Second-Order Functionals.- Deconstructing General References via Game Semantics.- Separation Logic for Non-local Control Flow and Block Scope Variables.- The Parametric Ordinal-Recursive Complexity of Post Embedding Problems.- Deciding Definability by Deterministic Regular Expressions.- Type-Based Complexity Analysis for Fork Processes.- Pure Pointer Programs and Tree Isomorphism.- A Language for Differentiable Functions.- Computing Quantiles in Markov Reward Models.- Parameterized Weighted Containment.- Weighted Specifications over Nested Words.- An Algebraic Presentation of Predicate Logic.- Strategies as Profunctors.- Generalised Name Abstraction for Nominal Sets.