Java and Java virtual machine : definition, verification, validation / Robert F. Stark, Joachim Schmid, Egon Borger
Type de document : MonographieLangue : anglais.Pays : Allemagne.Éditeur : Berlin : Springer, 2001Description : 1 vol. (X-381 p.) : ill. ; 25 cm + 1 CD-ROMISBN : 3540420886.Bibliographie : Bibliogr. p. [365]-366. Index.Sujet MSC : 68N15, Computer science -- Software, Programming languages68-01, Computer science, Instructional exposition (textbooks, tutorial papers, etc.)
68N20, Computer science -- Software, Compilers and interpreters
68Q55, Computer science -- Theory of computing, Semantics
68Q60, Computer science -- Theory of computing, Specification and verification (program logics, model checking, etc.)
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle E | Info STA (Browse shelf) | Available | 00412-01 |
Bibliogr. p. [365]-366. Index
There are no comments for this item.