Java and the Java Virtual Machine: Definition, Verification, Validation
Robert F. Stärk, Joachim Schmid, Egon Bà rger
ISBN 10: 3540420886 ISBN 13: 9783540420880
Verlag: Springer 20 J, 2001
Gebraucht
Hardcover
Verkäufer
AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 28. November 2006
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Java and the Java Virtual Machine: Definition, Verification, Validation This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Bestandsnummer des Verkäufers 7719-9783540420880
Inhaltsangabe:
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.
Von der hinteren Coverseite: This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components. It comes with a natural executable refinement which can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need for their work a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Java and the Java Virtual Machine: ...
Verlag: Springer 20 J
Erscheinungsdatum: 2001
Einband: Hardcover
Zustand: Very Good
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Java and the Java Virtual Machine: Definition, Verification, Validation
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10: 3540420886
ISBN 13: 9783540420880
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-628-151
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Java and the Java Virtual Machine : Definition, Verification, Validation
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 381 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 810990/2
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Java And The Java Virtual Machine : Definition, Verification, Validation
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABNR-87468
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Java and the Java Virtual Machine
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. 398 Illus. Artikel-Nr. 7531415
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Java and the Java Virtual Machine
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used. pp. 398. Artikel-Nr. 18349250
Anzahl: 1 verfügbar
Foto des Verkäufers
Java and the Java Virtual Machine
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. The first book to provide a rigorous mathematical analysis of JavaThe 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. Durin. Artikel-Nr. 4889609
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Java and the Java Virtual Machine, w. CD-ROM : Definition, Verification, Validation
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2001
ISBN 10: 3540420886
ISBN 13: 9783540420880
Neu
Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - 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. Artikel-Nr. 9783540420880
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Java and the Java Virtual Machine: Definition, Verification, Validation
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. hardback/cd-rom edition. 381 pages. German language. 9.75x6.75x1.00 inches. In Stock. Artikel-Nr. x-3540420886
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Java and the Java Virtual Machine: Definition, Verification, Validation
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540420880_new
Anzahl: Mehr als 20 verfügbar