- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 92,99, Mittelwert: € 78,59
1
Bestellen
bei lehmanns.de
€ 90,87
Versand: € 0,001
Bestellengesponserter Link
Jim Alves-Foss:

Formal Syntax and Semantics of Java - neues Buch

2003, ISBN: 9783540487371

eBooks, eBook Download (PDF), Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide use… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
2
Formal Syntax and Semantics of Java - Jim Alves-Foss
Bestellen
bei Springer.com
£ 61,99
(ca. € 73,33)
Bestellengesponserter Link

Jim Alves-Foss:

Formal Syntax and Semantics of Java - neues Buch

ISBN: 9783540487371

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 functi… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Formal Syntax and Semantics of Java
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
Formal Syntax and Semantics of Java - neues Buch

ISBN: 9783540487371

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 functi… Mehr…

Nr. 978-3-540-48737-1. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
Formal Syntax and Semantics of Java
Bestellen
bei Hugendubel.de
€ 92,99
Versand: € 0,001
Bestellengesponserter Link
Formal Syntax and Semantics of Java - neues Buch

ISBN: 9783540487371

Formal Syntax and Semantics of Java ab 92.99 € als pdf eBook: . Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet, Medien > Bücher, Formal Syntax and Semantics of Java -… Mehr…

Nr. 33624468. Versandkosten:, , DE. (EUR 0.00)
5
Formal Syntax and Semantics of Java
Bestellen
bei eBook.de
€ 92,99
Versand: € 0,001
Bestellengesponserter Link
Formal Syntax and Semantics of Java - neues Buch

ISBN: 9783540487371

Formal Syntax and Semantics of Java: ab 92.99 € Medien > Bücher > E-books, [PU: Springer, Berlin/Heidelberg]

Nr. 33624468. Versandkosten:, , DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Formal Syntax and Semantics of Java


EAN (ISBN-13): 9783540487371
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-01-21T21:03:57+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-05T09:37:35+02:00 (Berlin)
ISBN/EAN: 9783540487371

ISBN - alternative Schreibweisen:
978-3-540-48737-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: julius springer
Titel des Buches: formal semantics, java, syntax


Daten vom Verlag:

Autor/in: Jim Alves-Foss
Titel: Lecture Notes in Computer Science; Formal Syntax and Semantics of Java
Verlag: Springer; Springer Berlin
410 Seiten
Erscheinungsjahr: 2003-07-31
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 410 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Java; Java-Programming; Programming Syntax; embedded systems; formal grammar; formal methods; formal specification; high-level programming language; language; program semantics; programming; programming language; semantics; C; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Science; Theoretische Informatik; Software Engineering; BC

Formal Grammar for Java.- Formal Grammar for Java.- Type Soundness.- Describing the Semantics of Java and Proving Type Soundness.- Proving Java Type Soundness.- Machine-Checking the Java Specification: Proving Type-Safety.- Semantic Approaches.- 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.
Includes supplementary material: sn.pub/extras

< zum Archiv...