Artículos relacionados a Formal Syntax and Semantics of Java: 1523 (Lecture...

Formal Syntax and Semantics of Java: 1523 (Lecture Notes in Computer Science) - Tapa blanda

 
9783540661580: Formal Syntax and Semantics of Java: 1523 (Lecture Notes in Computer Science)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

Comprar usado

Condición: Aceptable
Ex-library copy with usual markings...
Ver este artículo

EUR 12,43 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 11,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Formal Syntax and Semantics of Java: 1523 (Lecture...

Imagen de archivo

Alves-Foss, Jim
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Antiguo o usado Paperback

Librería: Books From California, Simi Valley, CA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Good. Ex-library copy with usual markings. Nº de ref. del artículo: mon0002752219

Contactar al vendedor

Comprar usado

EUR 3,52
Convertir moneda
Gastos de envío: EUR 12,43
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Unbekannt
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 420 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 18199/202

Contactar al vendedor

Comprar usado

EUR 27,44
Convertir moneda
Gastos de envío: EUR 14,90
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Jim Alves-Foss
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 420 pp. Englisch. Nº de ref. del artículo: 9783540661580

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Alves-Foss, Jim
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Tapa blanda

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-85766

Contactar al vendedor

Comprar nuevo

EUR 64,98
Convertir moneda
Gastos de envío: GRATIS
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Alves-Foss, Jim
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783540661580_new

Contactar al vendedor

Comprar nuevo

EUR 60,25
Convertir moneda
Gastos de envío: EUR 5,17
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Jim Alves-Foss
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783540661580

Contactar al vendedor

Comprar nuevo

EUR 53,49
Convertir moneda
Gastos de envío: EUR 11,99
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Alves-Foss, Jim
Publicado por Springer Berlin Heidelberg, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Kartoniert / Broschiert
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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-a. Nº de ref. del artículo: 4897545

Contactar al vendedor

Comprar nuevo

EUR 48,37
Convertir moneda
Gastos de envío: EUR 19,49
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Alves-Foss, James (EDT)
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 918534-n

Contactar al vendedor

Comprar nuevo

EUR 54,16
Convertir moneda
Gastos de envío: EUR 17,14
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Alves-Foss, James (EDT)
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 918534-n

Contactar al vendedor

Comprar nuevo

EUR 60,23
Convertir moneda
Gastos de envío: EUR 17,27
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

FOSS
Publicado por Springer, 1999
ISBN 10: 3540661581 ISBN 13: 9783540661580
Nuevo Tapa blanda

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-268678

Contactar al vendedor

Comprar nuevo

EUR 53,24
Convertir moneda
Gastos de envío: EUR 25,72
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Existen otras 7 copia(s) de este libro

Ver todos los resultados de su búsqueda