Java and Java virtual machine : definition, verification, validation / Robert F. Stark, Joachim Schmid, Egon Borger

Auteur principal : Stark, Robert F., 1963-, AuteurCo-auteur : Schmid, Joachim, 1974-, Auteur • Borger, Egon, 1946-, AuteurType 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 languages
68-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: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Current library Call number Status Date due Barcode
Salle E
Info STA (Browse shelf(Opens below)) Available 00412-01

Bibliogr. p. [365]-366. Index

There are no comments on this title.

to post a comment.