Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Formal Syntax and Semantics of Java

Name: Formal Syntax and Semantics of Java
Brand: Springer, Berlin
SKU: 05274963
Price: 51.68 EUR
Availability: InStock
Author: Jim Alves-Foss
ISBN: 9783540661580

Jim Alves-Foss

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 05274963

Uitgeverij Springer, Berlin, november 1998

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

Libristo-code: 05274963

125 b

51.68 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

15.47 €

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

Gebonden (paperback)

13.65 €

Storegut Aasmund Olavsson Vinje

Gebonden (paperback)

18.40 €

Dostoievski FRANK

Gebonden (paperback)

36.20 €

Theorie und Praxis in der Lehrerbildung Carina Caruso

Adobe ePub DRM

53.40 €

Minha Suplicante Criança Tiago Maroto

Gebonden (paperback)

11.22 €

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

Gebonden (harde band)

31.25 €

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

Gebonden (paperback)

13.65 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Syntax and Semantics of Java

Auteur Jim Alves-Foss

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1999

Aantal pagina's 410

EAN 9783540661580

ISBN 3540661581

Libristo-code 05274963

Uitgeverij Springer, Berlin

Gewicht 627

Afmetingen 156 x 234 x 21

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger