Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Syntax and Semantics of Java Jim Alves-Foss

Formal Syntax and Semantics of Java

Língua

Inglês

Livro Capa mole

Livro Formal Syntax and Semantics of Java Jim Alves-Foss

Código Libristo: 05274963

Editoras Springer, Berlin, novembro 1998

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

Código Libristo: 05274963

?

points

111 b

45.97 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Minha Suplicante Criança Tiago Maroto

/

Capa mole

9.49 €

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

/

Livro de capa dura

27.58 €

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

/

Capa mole

11.61 €

Theorie und Praxis in der Lehrerbildung Carina Caruso

/

Adobe ePub DRM

45.77 €

Dostoievski FRANK

/

Capa mole

30.41 €

Storegut Aasmund Olavsson Vinje

/

Capa mole

15.65 €

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

/

Capa mole

11.61 €

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

/

Capa mole

12.72 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Syntax and Semantics of Java

Autor Jim Alves-Foss

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1999

Número de páginas 410

EAN 9783540661580

ISBN 3540661581

Código Libristo 05274963

Editoras Springer, Berlin

Peso 627

Dimensões 156 x 234 x 21

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Fundamentals of Operating Systems A. LISTER

/

Capa mole

45.97 €

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

/

Capa mole

45.97 €

Lost and Found in Paris Scott Dominic Carpenter

/

Capa mole

11.00 €

Pegasus Oracle Alana (Alana Fairchild) Fairchild

/

Capa mole

19.80 €

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

/

Livro de capa dura

47.18 €

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

/

Capa mole

5.65 €

Thermodynamic Weirdness Don S. Lemons

/

Capa mole

14.84 €

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

/

Livro de capa dura

85.28 €

Noah's Ark Russell Punter

/

Livro concertina

4.84 €

North to the Baltic Sea Michael Oliver

/

Capa mole

12.62 €

Pout-Pout Fish Goes to School Deborah Diesen

/

Livro concertina

6.26 €

Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape

/

Capa mole

8.78 €

Mis-Education of the Negro Carter Godwin Woodson

/

Capa mole

6.66 €

Interchange Level 3 Workbook A Jack C. Richards

/

Capa mole

18.08 €

German Basic Course - Student Text Volume 1 Ilse Christoph

/

Capa mole

23.94 €

Metabolomics, Metabonomics and Metabolite Profiling William Griffiths

/

Livro de capa dura

159.96 €

Climate Change in Bangladesh Harun Rasid

/

Livro de capa dura

112.16 €

Attracting Equity Investors Evan J. Douglas

/

Capa mole

63.65 €

John Dewey and Environmental Philosophy Hugh P. McDonald

/

Capa mole

34.04 €

Unchecked and Unbalanced Aziz Huq

/

Livro de capa dura

21.11 €

Blackwell Dictionary of Eastern Christianity Parry

/

Livro de capa dura

183.00 €

Dahlia Season Myriam Gurba

/

Capa mole

14.04 €

Internet-Based Customer Value Management Tymoteusz Doligalski

/

Livro de capa dura

44.86 €

Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith

/

Livro de capa dura

18.18 €