Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematics of Program Construction
  • Produktbild: Mathematics of Program Construction
Band 947

Mathematics of Program Construction Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.1995

Abbildungen

IX, 479 p.

Herausgeber

Bernhard Möller

Verlag

Springer Berlin

Seitenzahl

479

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60117-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.1995

Abbildungen

IX, 479 p.

Herausgeber

Bernhard Möller

Verlag

Springer Berlin

Seitenzahl

479

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60117-3

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: Mathematics of Program Construction
  • Produktbild: Mathematics of Program Construction
  • Towards automatic parallelization of logic programs.- Functional Algorithm Design.- Mathematics of software engineering.- Program construction in intuitionistic Type Theory.- Computer-aided computing.- Derivation of parallel algorithms from functional specifications to CSP processes.- Architecture independent massive parallelization of divide-and-conquer algorithms.- Exploring summation and product operators in the refinement calculus.- An action system specification of the caltech asynchronous microprocessor.- Formal derivation of CSP programs from temporal specifications.- A compositional proof system for asynchronously communicating processes.- A graphical calculus.- A simple, efficient, and flexible implementation of flexible arrays.- Induction and recursion on datatypes.- Program construction by parts.- An initial-algebra approach to directed acyclic graphs.- Algebraic proof assistants in HOL.- Angelic termination in Dijkstra's calculus.- Extracting programs with exceptions in an impredicative type system.- Synthesizing proofs from programs in the Calculus of Inductive Constructions.- A general scheme for breadth-first graph traversal.- Specware: Formal support for composing software.- A refinement relation supporting the transition from unbounded to bounded communication buffers.- ImpUNITY: UNITY with procedures and local variables.