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…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
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…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Springer.com Nr. 978-3-540-48737-1. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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…
Hugendubel.de Nr. 33624468. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783540487371
Formal Syntax and Semantics of Java: ab 92.99 € Medien > Bücher > E-books, [PU: Springer, Berlin/Heidelberg]
eBook.de Nr. 33624468. Versandkosten:, , DE. (EUR 0.00) Details... |
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…
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…
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…
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…
ISBN: 9783540487371
Formal Syntax and Semantics of Java: ab 92.99 € Medien > Bücher > E-books, [PU: Springer, Berlin/Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319181103 Computational Linguistics and Intelligent Text Processing (Alexander Gelbukh)
- 9783319181103 Computational Linguistics and Intelligent Text Processing (Alexander Gelbukh)
- 9783319181172 Computational Linguistics and Intelligent Text Processing (Springer)
- 9783319181165 Computational Linguistics and Intelligent Text Processing (Alexander Gelbukh)
- 9783319181110 Computational Linguistics and Intelligent Text Processing (Alexander Gelbukh)
- 9783540661580 Formal Syntax and Semantics of Java (Jim Alves-Foss)
< zum Archiv...