• Anglický jazyk

Programs, Recursion and Unbounded Choice

Autor: Wim H. Hesselink

A complete account of the predicate transformation calculus semantics of sequential programs.

Viac o knihe

Na objednávku, dodanie 2-4 týždne

63.45 €

bežná cena: 72.10 €

O knihe

A complete account of the predicate transformation calculus semantics of sequential programs.

  • Vydavateľstvo: Cambridge University Press
  • Rok vydania: 2005
  • Formát: Paperback
  • Rozmer: 244 x 170 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9780521018296

Generuje redakčný systém BUXUS CMS spoločnosti ui42.