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 - Theory of software, Theory of programming languages68-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N20, Computer science - Theory of software, Theory of compilers and interpreters
68Q55, Computer science, Semantics in the theory of computing
68Q60, Computer science - Theory of computing, Specification and verification Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle E | Info STA (Browse shelf(Opens below)) | Available | 00412-01 |
Bibliogr. p. [365]-366. Index
There are no comments on this title.