Formal Syntax and Semantics of Java (Paperback)
$35.68 + $3.99 SHIPPING
EARN 36 RAKUTEN SUPER POINTS™Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.Learn More
What are Rakuten Super Points™?
CONDITION: Brand New
From the Publisher:
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.
View all buying options for Formal Syntax and Semantics of Java
|SHOP INFORMATION||PRODUCT DETAILS||PRICE/SHIPPING/AVAILABILITY/CONDITION|
The Book is Available in Brand New Condition. Fast and Secure shipping. Great customer support service. Shop with confidence!
+ $3.99 shipping
Shipping: Usually ships in 1 to 2 business days
About the Seller
We cover all variety of Books and work with over 2000 publishers and vendors every year.
Marketplace Guarantee ClaimBuyers should receive Marketplace items in the condition that they were listed. We ask buyers to first contact the seller to give them a chance to address any issues. If the seller does not respond or if the issue is not addressed to the customer's satisfaction buyers can rely on our Rakuten.com Marketplace Guarantee Claim which, covers the first $750 of every purchase... read more
We committed to ensure client’s satisfaction with their transparent and ethical return policy. If for any genuine reasons, Books are fully returnable in case there is any manufacturing defect in the book or a damage copy has been shipped.we offer an easy 15 day money refund or exchange guarantee...read more
We offers Fast and Secure shipping with Tracking with standard and expedited shipping services for 48 contiguous states. For Shipping Rate Standard : $3.99, Shipping Rate Expedited : $16.95, Max.Shipping Lead Time 4-5 Days