Normal view MARC view ISBD view

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 -- Software, Programming languages
68-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.)
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

Log in to your account to post a comment.