23 cm. original paperback. 404 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 545g. N� de ref. del art�culo 71856

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal syntax and semantics of java.

Editorial: Springer, Berlin

A�o de publicaci�n: 1999

Encuadernaci�n: Encuadernaci�n de tapa blanda

Acerca de

Rese�a del editor:

Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Antiquariaat Emile Kerssemakers was established in 1992. Although we are specialised in religious books; in our store you also can find books on almost any other subject. There are more than 40.000 titles in stock. - https://kerssemakers.com - - https://www.kerss.nl - https://www.instagram.com/emilekers/ - - https://www.facebook.com/kerssemakers - - https://twitter.com/kerssemakers -

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Emile Kerssemakers ILAB
Netherlands

Condiciones de venta:

BOEKHANDEL - ANTIQUARIAAT EMILE KERSSEMAKERS

We are member of the Antiquarian Booksellers' Association of the Netherlands (NVvA) , affiliated to the International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LILA) and we recognize its Code of Usages and Customs.

Wij zijn lid van de Nederlandsche Vereeniging van Antiquaren (NVvA) , aangesloten bij de International League of Antiquarian Booksellers / Ligue Internationale de la Librairie Ancienne (ILAB/LIL...

M�s informaci�n

Condiciones de env�o:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

M�todos de pago
aceptados por la librer�a

Cheque PayPal Factura Transferencia Bancaria

A�adir una petici�n

Art�culos relacionados a Formal syntax and semantics of java.

Formal syntax and semantics of java.

ALVES-FOSS, J. (ed).

Usado - Encuadernaci�n de tapa blanda

Informaci�n empresarial del vendedor