|
|
|
|
| LEADER |
01019nam a2200277a 44500 |
| 001 |
UBP01009 |
| 003 |
AR-CdUBP |
| 005 |
20220310151120.0 |
| 008 |
151212s1987#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-471-85918-4
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Mandrioli, Dino
|
| 245 |
1 |
0 |
|a Theoretical foundations of computer Science /
|c Dino Mandrioli, Carlo Ghezzi.
|
| 260 |
|
|
|a New York :
|b John Wiley,
|c 1987
|
| 300 |
|
|
|a xxv, 478 p. ;
|c 22 cm.
|
| 505 |
0 |
|
|a Chapter 0. Mathematical background. Chapter 1. Models for computer science: automata and grammars. Chapter 2. Solvable and unsolvable problems. Chapter 3. The complexity of computing. Chapter 4. Formal semantics. Chapter 5. Proving program properties. Chapter 6. Nondeterminism and parallel computation.
|
| 650 |
|
4 |
|a MATEMATICAS COMPUTACIONAL
|
| 653 |
|
|
|a MATEMATICAS
|
| 700 |
1 |
|
|a Ghezzi, Carlo
|
| 930 |
|
|
|a MATEMATICAS
|
| 931 |
|
|
|a 01009
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 519.6
|b M312
|
| 999 |
|
|
|c 16624
|d 16624
|