Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

  • Produktbild: ESOP '92
  • Produktbild: ESOP '92
Band 582

ESOP '92 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.02.1992

Abbildungen

VIII, 496 p.

Herausgeber

Bernd Krieg-Brückner

Verlag

Springer Berlin

Seitenzahl

496

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

756 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55253-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.02.1992

Abbildungen

VIII, 496 p.

Herausgeber

Bernd Krieg-Brückner

Verlag

Springer Berlin

Seitenzahl

496

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

756 g

Auflage

1992

Sprache

Englisch

ISBN

978-3-540-55253-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: ESOP '92
  • Produktbild: ESOP '92
  • Model checking and boolean graphs.- SIGNAL as a model for real-time and hybrid systems.- Towards an adequate notion of observation.- Proving safety of speculative load instructions at compile-time.- Typed norms.- Compositional refinements in multiple blackboard systems.- Fully persistent arrays for efficient incremental updates and voluminous reads.- Back to direct style.- Extraction of strong typing laws from action semantics definitions.- Detecting determinate computations by bottom-up abstract interpretation.- ELIOS-OBJ theorem proving in a specification language.- Incremental garbage collection without tags.- Approximate fixed points in abstract interpretation.- Dynamic typing.- Automatic parallelization of lazy functional programs.- Reversing abstract interpretations.- A theory of qualified types.- A semantics for multiprocessor systems.- Interprocedural type propagation for object-oriented languages.- Using the Centaur system for data-parallel SIMD programming: a case study.- The tensor product in Wadler's analysis of lists.- Basic superposition is complete.- Observers for linear types.- Type inference for partial types is decidable.- A provably correct compiler generator.- An adequate operational semantics of sharing in lazy evaluation.- Modules for a model-oriented specification language: A proposal for metasoft.- Typing references by effect inference.