Login       My Wishlist
  My Cart
$0.00 / 0 items
EMS Linux
Utilizing the Best Tools With Linux
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Compiler Design

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

Extreame Savings Item! Save 47% on the Java and the Java Virtual Machine: Definition, Verification, Validation by Brand: Springer at EMS Linux. MPN: 1, black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. 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.

Product 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.

Additional Information

Brand:Brand: Springer
Part Number:1, black & white illustrations
MPN:1, black & white illustrations
Item Weight:1.59 pounds
Item Size:0.88 x 6.14 x 6.14 inches
Package Weight:1.59 pounds
Package Size:6.22 x 1.02 x 1.02 inches

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

Buy Now:
Java and the Java Virtual Machine: Definition, Verification, Validation

Brand: Brand: Springer
4.4 out of 5 stars with 40 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
You Save: 46%



View More In Compiler Design.


Have questions about this item, or would like to inquire about a custom or bulk order?

If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

D Cookbook
By Packt Publishing - ebooks Account
mpn: black & white illustrations, ean: 9781783287215, isbn: 1783287217,
Discover the advantages of programming in D with over 100 incredibly effective recipesAbout This Book Leverage D to write efficient and correct programs with minimum code Learn advanced code generation techniques to automate programming tasks See how...

Getting started with IntelliJ IDEA
By Packt Publishing
mpn: black & white illustrations, ean: 9781849699617, isbn: 1849699615,
Written for Java developers who want to make use of the automating features of IntelliJ IDEA, this book gives you practical exercises and clear instructions to teach you the basics and help you develop a web application. Overview Exhibit techniques ...

Writing Scientific Software: A Guide to Good Style
By Brand: Cambridge University Press
ean: 9780521675956, isbn: 0521675952,
The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers ...

A Practical Introduction to Computer Architecture (Texts in Computer Science)
By Brand: Springer London
mpn: 162 black & white illustrations, 43 blac, ean: 9781848822559, isbn: 1848822553,
It is a great pleasure to write a preface to this book. In my view, the content is unique in that it blends traditional teaching approaches with the use of mathematics and a mainstream Hardware Design Language (HDL) as formalisms to describe key conc...

Compiler Design: Analysis and Transformation
By Springer
mpn: 5 black & white illustrations, 91 colour, ean: 9783642175473, isbn: 3642175473,
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there e...

Expert .NET 2.0 IL Assembler
By Brand: Apress
ean: 9781590596463, isbn: 1590596463,
.NET 2.0 IL (Intermediate Language) is the foundation language at the root of all the .NET languages. It is this code which is compiled and executed by the .NET 2.0 Framework. As a result of this absolutely anything that can be expressed in IL can be...

R Graph Cookbook
By Packt Publishing
mpn: 978-1-84951-306-7, ean: 9781849513067, isbn: 1849513066,
This hands-on guide cuts short the preamble and gets straight to the point – actually creating graphs, instead of just theoretical learning. Each recipe is specifically tailored to fulfill your appetite for visually representing you data in the bes...

Introduction to Compiler Construction With Unix (Prentice-Hall software series)
By Prentice Hall
ean: 9780134743967, isbn: 0134743962,

Verilog ― 2001: A Guide to the New Features of the Verilog® Hardware Description Language (The Springer International Series in Engineering and Computer Science)
By Springer
ean: 9780792375685, isbn: 0792375688,
by Phil Moorby The Verilog Hardware Description Language has had an amazing impact on the mod­ em electronics industry, considering that the essential composition of the language was developed in a surprisingly short period of time, early in 1984. S...

Bison Manual for Version 1.875
By Brand: Free Software Foundation
ean: 9781882114238, isbn: 188211423X,
This updated edition for Bison version 1.875 has an expanded 'Concepts' and 'Grammar Files' sections, and a greatly expanded 'Debugging Your Parser' section. There is also a new FAQ section added to the appendix. Some obsolete material was removed as...

Privacy Policy / Terms of Service
© 2019 - emslinux.com. All Rights Reserved.