Java And The Java Virtual Machine: Definition, Verification, Validation
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2001 |
| Authors | Robert F. Stärk |
| E. Börger | |
| Joachim Schmid (programmatore. ) | |
| Editors | Robert F. Stärk |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2242245 |
About Java And The Java Virtual Machine: Definition, Verification, Validation
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. . . .