• Produktbild: Proof and System-Reliability
  • Produktbild: Proof and System-Reliability
Band 62

Proof and System-Reliability

152,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.05.2002

Abbildungen

XII, 415 p.

Herausgeber

Helmut Schwichtenberg + weitere

Verlag

Springer Netherlands

Seitenzahl

432

Maße (L/B/H)

24,1/16/2,9 cm

Gewicht

811 g

Sprache

Englisch

ISBN

978-1-4020-0607-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.05.2002

Abbildungen

XII, 415 p.

Herausgeber

Verlag

Springer Netherlands

Seitenzahl

432

Maße (L/B/H)

24,1/16/2,9 cm

Gewicht

811 g

Sprache

Englisch

ISBN

978-1-4020-0607-4

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

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: Proof and System-Reliability
  • Produktbild: Proof and System-Reliability
  • Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks: A Brief Introduction; F. Pfenning. Ludics: An Introduction; J.-Y. Girard. Naïve Computational Type Theory; R. Constable. Proof-Carrying Code. Design and Implementation; G. Necula. Abstractions and Reductions in Model Checking; O. Grumberg. Hoare Logic: From First Order to Propositional Formalism; J. Tiuryn. Hoare Logics in Isabelle/HOL; T. Nipkow. Proof Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.