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.
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 , 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.
|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|
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.
Related Best Sellers
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...
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 ...
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 ...
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...
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...
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...
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...
By Prentice Hall
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...
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...