Kod: 08033493
Programs, Recursion and Unbounded Choice
A complete account of the predicate transformation calculus semantics of sequential programs.
Dostępność:
50 % szansa
Otrzymaliśmy informację, że książka może być ponownie dostępna. Na podstawie państwa zamówienia, postaramy się książkę sprowadzić w terminie do 6 tygodni. Gwarancja pełnego zwrotu pieniędzy, jeśli książka nie zostanie zabezpieczona.
Przeszukamy cały świat
Powiadomienie o dostępności
Dodaj do schowka
Zobacz książki o podobnej tematyce
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Wzór bonu podarunkowegoDowiedz się więcej
Powiadomienie o dostępności
Więcej informacji o Programs, Recursion and Unbounded Choice
Za ten zakup dostaniesz 192 punkty
Opis![](/public/obrazky/h5-rbra.png)
A complete account of the predicate transformation calculus semantics of sequential programs.
Szczegóły książki![](/public/obrazky/h5-rbra.png)
Kategoria
Książki po angielsku
Computing & information technology
Computer science
Mathematical theory of computation
- Pełny tytuł: Programs, Recursion and Unbounded Choice
- Autor: Wim H. Hesselink
- Język:
Angielski
- Oprawa: Twarda
- Liczba stron: 235
- EAN: 9780521404365
- ISBN: 9780521404365
- ID: 08033493
- Wydawca: Cambridge University Press
- Waga: 578 g
- Wymiary: 256 × 179 × 16 mm
- Data wydania: 21. May 1992
Ulubione w innej kategorii