Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Formal Syntax and Semantics of Java

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Syntax and Semantics of Java Jim Alves-Foss
Code Libristo: 05274963
Éditeurs Springer, Berlin, novembre 1998
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functi... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Storegut Aasmund Olavsson Vinje / Livre Livre de poche
common.buy 19.09 €
Séance publique annuelle de l'Académie des sciences, agriculture, arts et belles-lettres d'Aix / Livre Livre de poche
common.buy 15.89 €
Minha Suplicante Criança Tiago Maroto / Livre Livre de poche
common.buy 11.59 €
LOS CENTAUROS 1982-1989 SERON / Livre Livre relié
common.buy 40.29 €
Dostoievski FRANK / Livre Livre de poche
common.buy 33.89 €
Theorie und Praxis in der Lehrerbildung Carina Caruso / Livre numérique Adobe ePub DRM
common.buy 55.59 €
CIUDADANA CLAUDIA RANKINE / Livre Livre de poche
common.buy 20.29 €
Die besten Absageschreiben an Bewerber . Kienbaum Communications GmbH & Co. KG / Livre Livre relié
common.buy 34.90 €
Notice Necrologique Sur Madame Samuel Bertin, Decedee Au Vigan (Gard) Le 17 Septembre 1865 Bertin-S / Livre Livre de poche
common.buy 13.59 €
L'Esclave Andrea: Drame En 5 Actes De Mallian-J / Livre Livre de poche
common.buy 13.59 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Formal Syntax and Semantics of Java
Auteur Jim Alves-Foss
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1999
Nombre de pages 410
EAN 9783540661580
ISBN 3540661581
Code Libristo 05274963
Éditeurs Springer, Berlin
Poids 627
Dimensions 156 x 234 x 21

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Fundamentals of Operating Systems A. LISTER / Livre Livre de poche
common.buy 53.79 €
Thermodynamic Weirdness Don S. Lemons / Livre Livre de poche
common.buy 19.29 €
Mis-Education of the Negro Carter Godwin Woodson / Livre Livre de poche
common.buy 8.09 €
Interchange Level 3 Workbook A Jack C. Richards / Livre Livre de poche
common.buy 22.09 €
Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape / Livre Livre de poche
common.buy 10.69 €
Top
Pout-Pout Fish Goes to School Deborah Diesen / Livre Livre Concertina
common.buy 9.59 €
North to the Baltic Sea Michael Oliver / Livre Livre de poche
common.buy 15.39 €
Bientôt
Noah's Ark Russell Punter / Livre Livre Concertina
common.buy 5.89 €
If You Are Going to Visit Lithuania...: Practical En-LT Phrasebook with Usefull Information Karolina Petkuviene / Livre Livre de poche
common.buy 16.39 €
Memoirs of William Wilberforce Mary A Collier / Livre Livre de poche
common.buy 24.29 €
Bientôt
Chinese Ways of Being Muslim: Negotiating Ethnicity and Religiosity in Indonesia Wai Weng Hew / Livre Livre relié
common.buy 102.79 €
New Horizons in Patient Safety: Safe Communication Annegret Hannawa / Livre Livre relié
common.buy 89.09 €
What You Didn't Learn in Teacher Training: From the Notebooks of Nelly Damon Eugene Schwartz / Livre Livre de poche
common.buy 9.19 €
History Of Polled Aberdeen Or Angus Cattle: Giving An Account Of The Origin, Improvement, And Characteristics Of The Breed (1882) James MacDonald / Livre Livre relié
common.buy 57.29 €
Pegasus Oracle Alana (Alana Fairchild) Fairchild / Livre Livre de poche
common.buy 23.19 €
Economic Foundations of Fascism Paul Einzig / Livre Livre relié
common.buy 40.69 €
DIY Survival: Best Hacks for Worst-Case Scenarios / Livre Livre de poche
common.buy 23.79 €
Lost and Found in Paris Scott Dominic Carpenter / Livre Livre de poche
common.buy 14.29 €
Fuel vintage pumps (Wall Calendar 2026 DIN A4 portrait), CALVENDO 12 Month Wall Calendar Calvendo / Calendrier/agenda Calendrier
common.buy 22.29 €
Human Mating Patterns C. G. N. Mascie-TaylorAnthony J. Boyce / Livre Livre de poche
common.buy 55.89 €
Metabolomics, Metabonomics and Metabolite Profiling William Griffiths / Livre Livre relié
common.buy 192.39 €
Climate Change in Bangladesh Harun Rasid / Livre Livre relié
common.buy 134.89 €
Attracting Equity Investors Evan J. Douglas / Livre Livre de poche
common.buy 79.59 €
John Dewey and Environmental Philosophy Hugh P. McDonald / Livre Livre de poche
common.buy 41.09 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?