Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. On the Refinement Calculus

On the Refinement Calculus

von Carroll Morgan, P. Gardiner, K. Robinson

enthalten in Formal Approaches to Computing and Information Technology (FACIT)-Reihe

On the Refinement Calculus von Carroll Morgan
Über On the Refinement Calculus

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540199311
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 159
  • Veröffentlicht:
  • 13. Dezember 1994
  • Ausgabe:
  • 11992
  • Abmessungen:
  • 235x155x10 mm.
  • Gewicht:
  • 280 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Carroll Morgan

Alle Bücher von Carroll Morgan anzeigen

Beschreibung von On the Refinement Calculus

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Kund*innenbewertungen von On the Refinement Calculus



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch On the Refinement Calculus ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.