Java and the Java Virtual Machine: Definition, Verification, Validation - Image 1

£36.61

Springer Java and the Java Virtual Machine: Definition, Verification, Validation

Name: Java and the Java Virtual Machine: Definition, Verification, Validation
Brand: Springer
Price: 36.61 GBP
Availability: InStock

Digital Lifestyle

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£37 today · all-time low £36 (Mar 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 55 days • 55 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 55 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £38 (32 days, 58.2%)

Price range: £36 - £38

Price levels: 3 different prices over 55 days

Description

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte's choice, as a comparative field test of purely functional declarative methods and of their enhancement within an integrated abstract state-based operational (ASM) approach. After some hesitation, in May 1997 Wolfram Schulte accepted the offer and chose as the theme a high-level specification of Java and of the Java Virtual Machine.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540420886
Category: Books > Subjects > Computing & Internet > Digital Lifestyle
Domain: Amazon UK
Release Date: 20 June 2001
Listed Since: 15 January 2007

Barcode

No barcode data available

Springer Java and the Java Virtual Machine: Definition, Verification, Validation

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Programming in Two Semesters: Using Python and Java (Texts in Computer Science)

Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide: A Comprehensive OCPJP 8 Certification Guide

Programming in Two Semesters: Using Python and Java (Texts in Computer Science)

Experiential Introduction to Principles of Programming Languages, An: For Java Programmers

Core Java, Volume I: Fundamentals: 1 (Oracle Press for Java)

Core Java: Fundamentals, Volume 1 (Core Series)

Beginning Java 17 Fundamentals: Object-Oriented Programming in Java 17

OCP Oracle Certified Professional Java SE 21 Developer Study Guide: Exam 1z0-830 (Sybex Study Guide)

Foundational Java: Key Elements and Practical Programming

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Building Java Programs: A Back to Basics Approach

Java: The Complete Reference, Thirteenth Edition

Core Java, Volume II: Advanced Features: 2 (Oracle Press for Java)

Core Java, Volume II: Advanced Features (Oracle Press for Java)

Java 9 (TÍTULOS ESPECIALES)

How to Read Java: Read, Debug, and Optimize Jvm Applications

Learning Java Through Games

Understanding Programming Languages

Pac: An Intro To Programming

Foundational Java: Key Elements and Practical Programming (Texts in Computer Science)

Well-Grounded Java Developer, The

Readings from Programming with Java (Mindtap Course List)