Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540487371
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

She Sang Promise

$5.21

Sequences, Groups, and Number Theory

$199.99

Statistical Properties of Undulator Radiation

$139.00

Atomic and Molecular Radiative Processes

$139.00

Multimediale Kioskterminals

$69.99

Integrated History and Philosophy of Science

$99.99

Chechens

$54.99

Mathematical Economics

$29.99

Pattern Formation in Granular Materials

$169.00

Proceedings of the 2nd Workshop on Communication Security

$169.99

Measuring Education Inequality in Developing Countries

$54.99

Integral Equations

$109.99

The Foreign Policies of Post-Yugoslav States

$54.99

Criticizing Global Governance

$54.99

Computer and Information Sciences - ISCIS 2005

$109.99

Gesundheitsgerechte Dienstleistungsarbeit

$44.99

Getting Started with WidgetKit

$64.99

Die antike Mathematik

$29.99

Time- and Strata-Bound Ore Deposits

$84.99

Combinatorial Optimization and Applications

$54.99

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015

$54.99

Be a King

$5.21

Political Economy and American Capitalism

$84.99

Amphiphiles at Interfaces

$39.99

Picosecond Phenomena

$54.99

Techniques and Methodological Approaches in Breast Cancer Research

$129.00

SMART Supply Network

$109.99

Drug Addiction II

$109.99

Probabilistic Safety Assessment and Management 96

$109.99

Search for the Sparkle

$4.49

Chemikalien und Drogen (Am Ch)

$99.99

Language, Identity and Cycling in the New Media Age

$129.99

Vasovagal Syncope

$109.99

Verfahren und Handlungsfelder der Sozialplanung

$34.99

Philosophy and Ideology

$54.99

Grundlagen der Pharmacognosie

$69.99

Advances in Plant Biopesticides

$129.00

Heart Failure

$219.99

Die digitale Transformation der Medien

$59.99

Managementwissen fr Naturwissenschaftler und Ingenieure

$69.99