• Produktbild: Foundational and Practical Aspects of Resource Analysis
  • Produktbild: Foundational and Practical Aspects of Resource Analysis
Band 8552

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Fr. 58.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2014

Abbildungen

IX, 161 p. 34 illus.

Herausgeber

Ugo Dal Lago + weitere

Verlag

Springer

Seitenzahl

161

Maße (L/B/H)

23.5/15.5/1 cm

Gewicht

271 g

Sprache

Englisch

ISBN

978-3-319-12465-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.2014

Abbildungen

IX, 161 p. 34 illus.

Herausgeber

Verlag

Springer

Seitenzahl

161

Maße (L/B/H)

23.5/15.5/1 cm

Gewicht

271 g

Sprache

Englisch

ISBN

978-3-319-12465-0

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: Foundational and Practical Aspects of Resource Analysis
  • Produktbild: Foundational and Practical Aspects of Resource Analysis
  • Certified Complexity (CerCo).- On the Modular Integration of Abstract Semantics for WCET Analysis.- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?.- Probabilistic Analysis of Programs: A Weak Limit Approach.- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions.- A Hoare Logic for Energy Consumption Analysis.- Reasoning About Resources in the Embedded Systems Language Hume.- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.- Collected Size Semantics for Strict Functional Programs over GeneralPolymorphic Lists.