KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Mathematics of Program Construction
Band 375

Mathematics of Program Construction 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.1989

Abbildungen

XII, 428 p.

Herausgeber

Jan L.A. van de Snepscheut

Verlag

Springer Berlin

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51305-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.1989

Abbildungen

XII, 428 p.

Herausgeber

Jan L.A. van de Snepscheut

Verlag

Springer Berlin

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51305-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: Mathematics of Program Construction
  • A formal approach to large SOFTWARE CONSTRUCTION.- Mathematics of program construction applied to analog neural networks.- Termination is timing.- Towards totally verified systems.- Constructing a calculus of programs.- Specifications of concurrently accessed data.- Stepwise refinement of action systems.- A lattice-theoretical basis for a specification language.- Transformational programming and forests.- Networks of communicating processes and their (De-)composition.- Towards a calculus of data refinement.- Stepwise refinement and concurrency: A small exercise.- Deriving mixed evaluation from standard evaluation for a simple functional language.- Realizability models for program construction.- Initialisation with a final value, an exercise in program transformation.- A derivation of a systolic rank order filter with constant response time.- Searching by elimination.- The projection of systolic programs.- The formal construction of a parallel triangular system solver.- Homomorphisms and promotability.- Applicative assertions.- Types and invariants in the refinement calculus.- Algorithm theories and design tactics.- A categorical approach to the theory of lists.- Rabbitcounrt :=Rabbitcount — 1.