KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Foundation of Software Science and Computation Structures
  • Produktbild: Foundation of Software Science and Computation Structures
Band 1784

Foundation of Software Science and Computation Structures Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.03.2000

Abbildungen

X, 398 p.

Herausgeber

Jerzy Tiuryn

Verlag

Springer Berlin

Seitenzahl

398

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67257-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.03.2000

Abbildungen

X, 398 p.

Herausgeber

Jerzy Tiuryn

Verlag

Springer Berlin

Seitenzahl

398

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67257-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Foundation of Software Science and Computation Structures
  • Produktbild: Foundation of Software Science and Computation Structures
  • Norm Functions for Probabilistic Bisimulations with Delays.- Constructor Subtyping in the Calculus of Inductive Constructions.- Verifying Performance Equivalence for Timed Basic Parallel Processes.- On Word Rewriting Systems Having a Rational Derivation.- Proof Nets and Explicit Substitutions.- Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract).- Hierarchical Graph Transformation.- A Program Refinement Framework Supporting Reasoning about Knowledge and Time.- A Higher-Order Simulation Relation for System F.- Probabilistic Asynchronous ?-Calculus.- Constructive Data Refinement in Typed Lambda Calculus.- On Recognizable Stable Trace Languages.- The State Explosion Problem from Trace to Bisimulation Equivalence.- A Proof System for Timed Automata.- Categorical Models for Intuitionistic and Linear Type Theory.- Locality and Polyadicity in Asynchronous Name-Passing Calculi.- On Rational Graphs.- Sequential and Concurrent Abstract Machines for Interaction Nets.- On Synchronous and Asynchronous Mobile Processes.- Type Inference for First-Order Logic.- An Algebraic Foundation for Adaptive Programming.- Predicate Logic and Tree Automata with Tests.- Compositional Verification in Linear-Time Temporal Logic.- On the Semantics of Refinement Calculi.- Subtyping and Typing Algorithms for Mobile Ambients.