Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
Product ID: 56404210
Secure Transaction
Frequently Bought Together
Description
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
Reviews
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.
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Smooth transaction and product arrived in perfect condition.
3 weeks ago
Best international shipping I've ever tried. Worth every penny!
3 days ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
