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.

"About this title" may belong to another edition of this title.

Store Description

Antiquariaat Emile Kerssemakers was established in 1992. Although we are specialised in religious books; in our store you also can find books on almost any other subject. There are more than 40.000 titles in stock. - https://kerssemakers.com - - https://www.kerss.nl - https://www.instagram.com/emilekers/ - - https://www.facebook.com/kerssemakers - - https://twitter.com/kerssemakers -

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Emile Kerssemakers ILAB
Netherlands

Sale & Shipping Terms

Terms of Sale

BOEKHANDEL - ANTIQUARIAAT EMILE KERSSEMAKERS

We are member of the Antiquarian Booksellers' Association of the Netherlands (NVvA) , affiliated to the International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LILA) and we recognize its Code of Usages and Customs.

Wij zijn lid van de Nederlandsche Vereeniging van Antiquaren (NVvA) , aangesloten bij de International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LIL...

More Information

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.