Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
2005.
|
| Schriftenreihe: | Cambridge tracts in theoretical computer science ;
27 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| LEADER | 01246cam a2200289 i 4500 | ||
|---|---|---|---|
| 001 | u64675 | ||
| 003 | SIRSI | ||
| 005 | 20210114115410.0 | ||
| 008 | 110131 eng | ||
| 020 | |a 0521018293 |q pbk. | ||
| 050 | |a QA76.6 |b .H47 2005 | ||
| 100 | 1 | |a Hesselink, Wim H. , |e author |9 172140 | |
| 245 | 1 | 0 | |a Programs, recursion and unbounded choice : |b predicate-transformation semantics and transformation rules / |c Wim H. Hesselink. |
| 264 | 1 | |a Cambridge : |b Cambridge University Press, |c 2005. | |
| 300 | |a xii, 223 pages ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science ; |v 27 | |
| 596 | |a 1 3 | ||
| 650 | 0 | |a Computer programming. |9 163 | |
| 942 | |c BOOK_OA | ||
| 997 | |a 108295; 108296 | ||
| 998 | |a 1 |b Shafrizan Shafferi | ||
| 999 | |c 122477 |d 122477 | ||
| 952 | |0 0 |1 0 |2 LCC |4 0 |6 QA00766 H47 02005 |7 0 |9 219846 |a UTHM_LIB |b UTHM_LIB |c OPENACCS |d 2006-08-22 |g 130.33 |l 0 |o QA76.6 .H47 2005 |p 1000174169 |r 2020-12-05 |t 1 |w 2020-12-05 |y BOOK_OA | ||
| 952 | |0 0 |1 0 |2 LCC |4 0 |6 QA00766 H47 02005 |7 0 |9 219847 |a PAGOH_LIB |b PAGOH_LIB |c OPENACCS |d 2006-08-22 |g 130.33 |l 0 |o QA76.6 .H47 2005 |p 1000174170 |r 2020-12-05 |t 1 |w 2020-12-05 |y BOOK_OA | ||