

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 Hong Kong.
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
1 month ago
3 weeks ago
2 days ago
5 days ago