Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Syntax and Semantics of Java

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Syntax and Semantics of Java Jim Alves-Foss
Libristo kód: 05274963
Nakladatelství Springer, Berlin, listopad 1998
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functi... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Minha Suplicante Criança Tiago Maroto / Kniha Brožovaná
common.buy 258 Kč
Die besten Absageschreiben an Bewerber . Kienbaum Communications GmbH & Co. KG / Kniha Pevná
common.buy 711 Kč
Notice Necrologique Sur Madame Samuel Bertin, Decedee Au Vigan (Gard) Le 17 Septembre 1865 Bertin-S / Kniha Brožovaná
common.buy 315 Kč
Theorie und Praxis in der Lehrerbildung Carina Caruso / E-kniha Adobe ePub DRM
common.buy 1 292 Kč
Dostoievski FRANK / Kniha Brožovaná
common.buy 829 Kč
Storegut Aasmund Olavsson Vinje / Kniha Brožovaná
common.buy 423 Kč
L'Esclave Andrea: Drame En 5 Actes De Mallian-J / Kniha Brožovaná
common.buy 315 Kč
Séance publique annuelle de l'Académie des sciences, agriculture, arts et belles-lettres d'Aix / Kniha Brožovaná
common.buy 374 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Syntax and Semantics of Java
Autor Jim Alves-Foss
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1999
Počet stran 410
EAN 9783540661580
ISBN 3540661581
Libristo kód 05274963
Nakladatelství Springer, Berlin
Váha 627
Rozměry 156 x 234 x 21

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Fundamentals of Operating Systems A. LISTER / Kniha Brožovaná
common.buy 1 182 Kč
Advances in Artificial Intelligence - IBERAMIA 2016 Manuel Montes y Gómez / Kniha Brožovaná
common.buy 1 182 Kč
Lost and Found in Paris Scott Dominic Carpenter / Kniha Brožovaná
common.buy 308 Kč
Pegasus Oracle Alana (Alana Fairchild) Fairchild / Kniha Brožovaná
common.buy 510 Kč
History Of Polled Aberdeen Or Angus Cattle: Giving An Account Of The Origin, Improvement, And Characteristics Of The Breed (1882) James MacDonald / Kniha Pevná
common.buy 1 273 Kč
Top
What You Didn't Learn in Teacher Training: From the Notebooks of Nelly Damon Eugene Schwartz / Kniha Brožovaná
common.buy 158 Kč
Thermodynamic Weirdness Don S. Lemons / Kniha Brožovaná
common.buy 416 Kč
Připravujeme
Chinese Ways of Being Muslim: Negotiating Ethnicity and Religiosity in Indonesia Wai Weng Hew / Kniha Pevná
common.buy 2 408 Kč
Připravujeme
Noah's Ark Russell Punter / Kniha Leporelo
common.buy 126 Kč
North to the Baltic Sea Michael Oliver / Kniha Brožovaná
common.buy 341 Kč
Pout-Pout Fish Goes to School Deborah Diesen / Kniha Leporelo
common.buy 163 Kč
Hidoku: The Next Puzzle Craze - 150 Puzzles Dj Ape / Kniha Brožovaná
common.buy 237 Kč
Mis-Education of the Negro Carter Godwin Woodson / Kniha Brožovaná
common.buy 180 Kč
Interchange Level 3 Workbook A Jack C. Richards / Kniha Brožovaná
common.buy 520 Kč
German Basic Course - Student Text Volume 1 Ilse Christoph / Kniha Brožovaná
common.buy 651 Kč
Metabolomics, Metabonomics and Metabolite Profiling William Griffiths / Kniha Pevná
common.buy 4 291 Kč
Climate Change in Bangladesh Harun Rasid / Kniha Pevná
common.buy 3 010 Kč
Attracting Equity Investors Evan J. Douglas / Kniha Brožovaná
common.buy 1 839 Kč
John Dewey and Environmental Philosophy Hugh P. McDonald / Kniha Brožovaná
common.buy 869 Kč
Unchecked and Unbalanced Aziz Huq / Kniha Pevná
common.buy 543 Kč
Blackwell Dictionary of Eastern Christianity Parry / Kniha Pevná
common.buy 4 680 Kč
Dahlia Season Myriam Gurba / Kniha Brožovaná
common.buy 361 Kč
Internet-Based Customer Value Management Tymoteusz Doligalski / Kniha Pevná
common.buy 1 155 Kč
Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith / Kniha Pevná
common.buy 469 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?