Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Syntax and Semantics of Java

Język AngielskiAngielski
Książka Miękka
Książka Formal Syntax and Semantics of Java Jim Alves-Foss
Kod Libristo: 05274963
Wydawnictwo Springer, Berlin, listopad 1998
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functi... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Minha Suplicante Criança Tiago Maroto / Książka Miękka
common.buy 47.46 zł
Die besten Absageschreiben an Bewerber . Kienbaum Communications GmbH & Co. KG / Książka Twarda
common.buy 132.48 zł
Notice Necrologique Sur Madame Samuel Bertin, Decedee Au Vigan (Gard) Le 17 Septembre 1865 Bertin-S / Książka Miękka
common.buy 58.00 zł
Theorie und Praxis in der Lehrerbildung Carina Caruso / E-book Adobe ePub DRM
common.buy 226.32 zł
Dostoievski FRANK / Książka Miękka
common.buy 145.22 zł
Storegut Aasmund Olavsson Vinje / Książka Miękka
common.buy 77.98 zł
L'Esclave Andrea: Drame En 5 Actes De Mallian-J / Książka Miękka
common.buy 58.00 zł
Séance publique annuelle de l'Académie des sciences, agriculture, arts et belles-lettres d'Aix / Książka Miękka
common.buy 65.53 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Syntax and Semantics of Java
Autor Jim Alves-Foss
Język Angielski
Oprawa Książka - Miękka
Data wydania 1999
Liczba stron 410
EAN 9783540661580
ISBN 3540661581
Kod Libristo 05274963
Wydawnictwo Springer, Berlin
Waga 627
Wymiary 156 x 234 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Fundamentals of Operating Systems A. LISTER / Książka Miękka
common.buy 218.99 zł
Advances in Artificial Intelligence - IBERAMIA 2016 Manuel Montes y Gómez / Książka Miękka
common.buy 218.99 zł
Lost and Found in Paris Scott Dominic Carpenter / Książka Miękka
common.buy 57.60 zł
Pegasus Oracle Alana (Alana Fairchild) Fairchild / Książka Miękka
common.buy 94.64 zł
History Of Polled Aberdeen Or Angus Cattle: Giving An Account Of The Origin, Improvement, And Characteristics Of The Breed (1882) James MacDonald / Książka Twarda
common.buy 234.35 zł
TOP
What You Didn't Learn in Teacher Training: From the Notebooks of Nelly Damon Eugene Schwartz / Książka Miękka
common.buy 29.40 zł
Thermodynamic Weirdness Don S. Lemons / Książka Miękka
common.buy 77.98 zł
Zapowiedź
Chinese Ways of Being Muslim: Negotiating Ethnicity and Religiosity in Indonesia Wai Weng Hew / Książka Twarda
common.buy 422.24 zł
Zapowiedź
Noah's Ark Russell Punter / Książka Leporelo
common.buy 23.68 zł
North to the Baltic Sea Michael Oliver / Książka Miękka
common.buy 63.02 zł
Pout-Pout Fish Goes to School Deborah Diesen / Książka Leporelo
common.buy 32.61 zł
Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape / Książka Miękka
common.buy 43.75 zł
Mis-Education of the Negro Carter Godwin Woodson / Książka Miękka
common.buy 33.31 zł
Interchange Level 3 Workbook A Jack C. Richards / Książka Miękka
common.buy 91.12 zł
German Basic Course - Student Text Volume 1 Ilse Christoph / Książka Miękka
common.buy 120.13 zł
Metabolomics, Metabonomics and Metabolite Profiling William Griffiths / Książka Twarda
common.buy 788.18 zł
Climate Change in Bangladesh Harun Rasid / Książka Twarda
common.buy 552.92 zł
Attracting Equity Investors Evan J. Douglas / Książka Miękka
common.buy 323.88 zł
John Dewey and Environmental Philosophy Hugh P. McDonald / Książka Miękka
common.buy 152.25 zł
Unchecked and Unbalanced Aziz Huq / Książka Twarda
common.buy 100.76 zł
Blackwell Dictionary of Eastern Christianity Parry / Książka Twarda
common.buy 819.89 zł
Dahlia Season Myriam Gurba / Książka Miękka
common.buy 66.94 zł
Internet-Based Customer Value Management Tymoteusz Doligalski / Książka Twarda
common.buy 214.27 zł
Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith / Książka Twarda
common.buy 87.21 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?