Items related to Formal Syntax and Semantics of Java: 1523 (Lecture...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
Formal Syntax and Semantics of Java Although Java has its roots in the Web, it is a high-level language that can provide users with a wide range of functionality and versatility. This survey is devoted to the syntax and semantics of Java from a formal-methods point of view.
"About this title" may belong to another edition of this title.
Search results for Formal Syntax and Semantics of Java: 1523 (Lecture...
Stock Image
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Ex-library copy with usual markings. Seller Inventory # mon0002752219
Quantity: 1 available
Seller Image
Formal Syntax and Semantics of Java
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 918534-n
Quantity: Over 20 available
Stock Image
FORMAL SYNTAX AND SCMATICS FOR JAVA
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-242272
Quantity: 1 available
Stock Image
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540661580
Quantity: 1 available
Stock Image
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020174057
Quantity: Over 20 available
Seller Image
Formal syntax and semantics of java.
Seller: Emile Kerssemakers ILAB, Heerlen, Netherlands
Seller rating 5 out of 5 stars
23 cm. original paperback. 404 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 545g. Seller Inventory # 71856
Quantity: 1 available
Stock Image
Formal Syntax and Semantics of Java (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540661581
ISBN 13: 9783540661580
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Java, undoubtedly, has its roots in embedded systems and the Web. Describing the Semantics of Java and Proving Type Soundness; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540661580
Quantity: 1 available
Seller Image
Formal Syntax and Semantics of Java
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 918534
Quantity: Over 20 available
Stock Image
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHUB268678
Quantity: 1 available
Stock Image
Formal Syntax And Semantics Of Java (lecture Notes In Computer Science)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-85766
Quantity: 1 available