Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Formal Syntax and Semantics of Java Jim Alves-Foss

Formal Syntax and Semantics of Java

Lingua

Inglese

Libro In brossura

Libro Formal Syntax and Semantics of Java Jim Alves-Foss

Codice Libristo: 05274963

Casa editrice Springer, Berlin, novembre 1998

Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functi... Descrizione completa

Codice Libristo: 05274963

?

points

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Storegut Aasmund Olavsson Vinje

/

In brossura

19.09 €

Séance publique annuelle de l'Académie des sciences, agriculture, arts et belles-lettres d'Aix

/

In brossura

15.89 €

CIUDADANA CLAUDIA RANKINE

/

In brossura

20.29 €

LOS CENTAUROS 1982-1989 SERON

/

Rigido

38.59 €

Dostoievski FRANK

/

In brossura

33.89 €

Theorie und Praxis in der Lehrerbildung Carina Caruso

/

Adobe ePub DRM

55.39 €

Minha Suplicante Criança Tiago Maroto

/

In brossura

11.59 €

Die besten Absageschreiben an Bewerber . Kienbaum Communications GmbH & Co. KG

/

Rigido

32.69 €

Notice Necrologique Sur Madame Samuel Bertin, Decedee Au Vigan (Gard) Le 17 Septembre 1865 Bertin-S

/

In brossura

14.19 €

L'Esclave Andrea: Drame En 5 Actes De Mallian-J

/

In brossura

14.19 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Syntax and Semantics of Java

Autore Jim Alves-Foss

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1999

Numero di pagine 410

EAN 9783540661580

ISBN 3540661581

Codice Libristo 05274963

Casa editrice Springer, Berlin

Peso 627

Dimensioni 156 x 234 x 21

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Fundamentals of Operating Systems A. LISTER

/

In brossura

57.79 €

Thermodynamic Weirdness Don S. Lemons

/

In brossura

18.09 €

Advances in Artificial Intelligence - IBERAMIA 2016 Manuel Montes y Gómez

/

In brossura

57.79 €

Interchange Level 3 Workbook A Jack C. Richards

/

In brossura

21.19 €

Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape

/

In brossura

10.69 €

Pout-Pout Fish Goes to School Deborah Diesen

/

Leporello

8.09 €

North to the Baltic Sea Michael Oliver

/

In brossura

15.39 €

In preparazione

Noah's Ark Russell Punter

/

Leporello

5.89 €

If You Are Going to Visit Lithuania...: Practical En-LT Phrasebook with Usefull Information Karolina Petkuviene

/

In brossura

16.39 €

In preparazione

Chinese Ways of Being Muslim: Negotiating Ethnicity and Religiosity in Indonesia Wai Weng Hew

/

Rigido

102.99 €

Mis-Education of the Negro Carter Godwin Woodson

/

In brossura

8.09 €

What You Didn't Learn in Teacher Training: From the Notebooks of Nelly Damon Eugene Schwartz

/

In brossura

9.19 €

History Of Polled Aberdeen Or Angus Cattle: Giving An Account Of The Origin, Improvement, And Characteristics Of The Breed (1882) James MacDonald

/

Rigido

57.29 €

Pegasus Oracle Alana (Alana Fairchild) Fairchild

/

In brossura

23.29 €

DIY Survival: Best Hacks for Worst-Case Scenarios

/

In brossura

23.29 €

Lost and Found in Paris Scott Dominic Carpenter

/

In brossura

14.29 €

Fuel vintage pumps (Wall Calendar 2026 DIN A4 portrait), CALVENDO 12 Month Wall Calendar Calvendo

/

Calendario

25.59 €

Human Mating Patterns C. G. N. Mascie-TaylorAnthony J. Boyce

/

In brossura

55.89 €

Metabolomics, Metabonomics and Metabolite Profiling William Griffiths

/

Rigido

192.39 €

Climate Change in Bangladesh Harun Rasid

/

Rigido

134.89 €

Attracting Equity Investors Evan J. Douglas

/

In brossura

79.29 €

John Dewey and Environmental Philosophy Hugh P. McDonald

/

In brossura

41.09 €

German Basic Course - Student Text Volume 1 Ilse Christoph

/

In brossura

29.49 €

Congress Joseph F. Zimmerman

/

In brossura

39.09 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?