Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150393 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Java and the Java virtual machine :definition, verification, validation
Autor: Stärk Robert
Rok: 2001
ISBN: 9783540420880
OKCZID: 110287941
Citace (dle ČSN ISO 690):
STÄRK, Robert. Java and the Java virtual machine: definition, verification, validation. Berlin: Springer, 2001. X, 381 s. +.
Hodnocení:
3.5 / 5
(6 hlasů)
Anotace
Provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. CD-ROM included.