| Your search for 24813 returns 2524 document(s) |
| Predicate calculus and program semantics |
|
Author: Dijkstra, Edger Wybe; | Call Number: 511.3 Dij p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming language landscape: syntax, semantics and implementations 2nd ed. |
|
Author: Ledgard, Henry F.; | Call Number: 005.13 Led p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Denotational semantics: the scott-strachey approach to programming language theory/ Joseph E. Stoy |
|
Author: Stoy, Joseph E.; | Call Number: 005.13 Sto d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal semantics of programming languages/ edited by Randall Rustin |
|
Author: Courant, R; | Call Number: 410.183 Cou f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Calculus |
|
Author: Briggs, William L.; | Call Number: 515.15 Bri c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic programming and the calculus of variations |
|
Author: Dreyfus, Stuart E.; | Call Number: 519.3 Dre d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Order-theoretic and categorical approaches to programming language semantics/Petrus Marinus Waltherus Knijnerberg |
|
Author: Knijnemburg, Petrus Marinus Wa.; | Call Number: 005.13 Kni o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advanced calculus |
|
Author: Taylor, Angus E.; | Call Number: 515.3 Tay a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Calculus of variations |
|
Author: Graggs, J.W.; | Call Number: 515.3 Gra | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result