KI-Beratung Beta

  • Produktbild: Foundations of Software Science and Computation Structures
  • Produktbild: Foundations of Software Science and Computation Structures
Band 1378

Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.03.1998

Abbildungen

XI, 297 p.

Herausgeber

Maurice Nivat

Verlag

Springer Berlin

Seitenzahl

297

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64300-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.03.1998

Abbildungen

XI, 297 p.

Herausgeber

Maurice Nivat

Verlag

Springer Berlin

Seitenzahl

297

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64300-5

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: Foundations of Software Science and Computation Structures
  • Produktbild: Foundations of Software Science and Computation Structures
  • Generalizing domain theory.- A cook's tour of equational axiomatizations for prefix iteration.- The WHILE hierarchy of program schemes is infinite.- Analysis of a guard condition in type theory.- An event structure semantics for P/T contextual nets: Asymmetric event structures.- Pumping Lemmas for timed automata.- Asynchronous Observations of Processes.- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling.- Partial metrics and co-continuous valuations.- Mobile ambients.- Rational term rewriting.- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations.- Net refinement by pullback rewriting.- On piecewise testable, starfree, and recognizable picture languages.- Functor categories and two-level languages.- Deciding properties for message sequence charts.- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages.- Deterministic rational transducers and random sequences.- Resource based models for asynchrony.