| 청구기호 |
QA76.758 |
| 형태사항 |
IX, 209 p. 10 illus. online resource.
|
| 언어 |
English |
| 내용 |
Introduction -- Mathematical Background -- General Features of Imperative Languages -- Operational Semantics of Imperative Languages -- General Features of Functional Languages -- Operational Semantics of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog -- Answers to Selected Exercises.
|
| 주제 |
Computer science.
Software engineering.
Information theory.
Logic design.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Theory of Computation.
Logics and Meanings of Programs.
|
| 보유판 및 특별호 저록 |
Springer eBooks
|
| ISBN |
9781447163688 |
| 기타 표준번호 |
10.1007/978-1-4471-6368-8 |
