Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Syntax and Semantics of Java

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Syntax and Semantics of Java Jim Alves-Foss
Libristo kod: 05274963
Nakladnici Springer, Berlin, studeni 1998
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functi... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Storegut Aasmund Olavsson Vinje / Knjiga Meki uvez
common.buy 18.42 €
Séance publique annuelle de l'Académie des sciences, agriculture, arts et belles-lettres d'Aix / Knjiga Meki uvez
common.buy 14.57 €
Minha Suplicante Criança Tiago Maroto / Knjiga Meki uvez
common.buy 11.23 €
LOS CENTAUROS 1982-1989 SERON / Knjiga Tvrdi uvez
common.buy 35.34 €
Dostoievski FRANK / Knjiga Meki uvez
common.buy 34.32 €
Theorie und Praxis in der Lehrerbildung Carina Caruso / E-knjiga Adobe ePub DRM
common.buy 51.44 €
CIUDADANA CLAUDIA RANKINE / Knjiga Meki uvez
common.buy 20.65 €
Die besten Absageschreiben an Bewerber . Kienbaum Communications GmbH & Co. KG / Knjiga Tvrdi uvez
common.buy 31.29 €
Notice Necrologique Sur Madame Samuel Bertin, Decedee Au Vigan (Gard) Le 17 Septembre 1865 Bertin-S / Knjiga Meki uvez
common.buy 12.45 €
L'Esclave Andrea: Drame En 5 Actes De Mallian-J / Knjiga Meki uvez
common.buy 12.45 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Syntax and Semantics of Java
Autor Jim Alves-Foss
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 410
EAN 9783540661580
ISBN 3540661581
Libristo kod 05274963
Nakladnici Springer, Berlin
Težina 627
Dimenzije 156 x 234 x 21

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Fundamentals of Operating Systems A. LISTER / Knjiga Meki uvez
common.buy 51.75 €
Thermodynamic Weirdness Don S. Lemons / Knjiga Meki uvez
common.buy 17.21 €
Mis-Education of the Negro Carter Godwin Woodson / Knjiga Meki uvez
common.buy 7.89 €
Interchange Level 3 Workbook A Jack C. Richards / Knjiga Meki uvez
common.buy 19.64 €
Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape / Knjiga Meki uvez
common.buy 10.32 €
Top
Pout-Pout Fish Goes to School Deborah Diesen / Knjiga Leporelo
common.buy 9.21 €
North to the Baltic Sea Michael Oliver / Knjiga Meki uvez
common.buy 14.88 €
Pripremamo
Noah's Ark Russell Punter / Knjiga Leporelo
common.buy 5.56 €
If You Are Going to Visit Lithuania...: Practical En-LT Phrasebook with Usefull Information Karolina Petkuviene / Knjiga Meki uvez
common.buy 15.79 €
Memoirs of William Wilberforce Mary A Collier / Knjiga Meki uvez
common.buy 23.28 €
Pripremamo
Chinese Ways of Being Muslim: Negotiating Ethnicity and Religiosity in Indonesia Wai Weng Hew / Knjiga Tvrdi uvez
common.buy 94.59 €
New Horizons in Patient Safety: Safe Communication Annegret Hannawa / Knjiga Tvrdi uvez
common.buy 84.97 €
What You Didn't Learn in Teacher Training: From the Notebooks of Nelly Damon Eugene Schwartz / Knjiga Meki uvez
common.buy 8.90 €
History Of Polled Aberdeen Or Angus Cattle: Giving An Account Of The Origin, Improvement, And Characteristics Of The Breed (1882) James MacDonald / Knjiga Tvrdi uvez
common.buy 55.39 €
Pegasus Oracle Alana (Alana Fairchild) Fairchild / Knjiga Meki uvez
common.buy 22.27 €
Economic Foundations of Fascism Paul Einzig / Knjiga Tvrdi uvez
common.buy 39.29 €
DIY Survival: Best Hacks for Worst-Case Scenarios / Knjiga Meki uvez
common.buy 22.88 €
Lost and Found in Paris Scott Dominic Carpenter / Knjiga Meki uvez
common.buy 13.56 €
Fuel vintage pumps (Wall Calendar 2026 DIN A4 portrait), CALVENDO 12 Month Wall Calendar Calvendo / Kalendar/Rokovnik Kalendar
common.buy 21.36 €
Human Mating Patterns C. G. N. Mascie-TaylorAnthony J. Boyce / Knjiga Meki uvez
common.buy 54.07 €
Metabolomics, Metabonomics and Metabolite Profiling William Griffiths / Knjiga Tvrdi uvez
common.buy 186.15 €
Climate Change in Bangladesh Harun Rasid / Knjiga Tvrdi uvez
common.buy 130.54 €
Attracting Equity Investors Evan J. Douglas / Knjiga Meki uvez
common.buy 72.10 €
John Dewey and Environmental Philosophy Hugh P. McDonald / Knjiga Meki uvez
common.buy 37.87 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?