

Buy anything from 5,000+ international stores. One checkout price. No surprise fees. Join 2M+ shoppers on Desertcart.
Desertcart purchases this item on your behalf and handles shipping, customs, and support to South Africa.
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
P**A
Excellent for Computer Scientists
Not for programmers. With a highly theoretical content. Knowledge on Formal notation is required (logic, inference, et al). It could be useful for comercial compiler implementation or comercial JVM implemetation. It covers: Java Formal Grammar, Type Soundness and Type Safety proofs,and so on. Have a lot of bibliography.
Trustpilot
2 days ago
1 month ago
3 days ago
1 month ago