Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  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

Manufacturer:Springer
Brand:Brand: Springer
Part Number:1, black & white illustrations
Publisher:Springer
Studio:Springer
MPN:1, black & white illustrations
EAN:9783540420880
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
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$58.48
You Save: 46%


Quantity:  

 


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


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

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

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

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

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

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

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

ean: 9780134743967, isbn: 0134743962,

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

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
© 2018 - emslinux.com. All Rights Reserved.