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

by Egon Borger, Robert F. Stark, Joachim Schmid, et al.

No Customer Reviews

Select Format

Select Condition

Book Overview

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

Format:Hardcover

Language:English

ISBN:3540420886

ISBN13:9783540420880

Release Date:June 2001

Publisher:Springer

Length:381 Pages

Weight:1.60 lbs.

Dimensions:1.1" x 6.3" x 9.5"

Related Subjects

Compiler Design Compilers Computer Design Computer Science Computers Computers & Technology Design & Architecture Education & Reference Java Languages & Tools

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

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

Select Format

Select Condition

Recommended

Book Overview

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us