 |
|
|
|
 haXe 2 Beginner's Guide
Remember the olden days?
I vaguely remember this odd box called a computer gradually conquering corners of my living room and bedroom. Can you recall those times? We would "use a computer" for some specific tasks, such as writing a letter.
The term computer was quite popular back then. Now, the word is no... |  |  First-Order Dynamic Logic (Lecture Notes in Computer Science)
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated... |  |  |
|
|
| Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 |