Computational Linguistics and Intelligent Text Processing: Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings (Lecture Notes in Computer Science)
5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2016 | 2017 |
|---|---|---|---|---|---|
| Schnitt | € 37,26 | € 36,44 | € 33,29 | € 33,03 | € 77,47 |
| Nachfrage |
1
Formal Syntax and Semantics of Java (1999)
DE PB NWISBN: 9783540661580 bzw. 3540661581, in Deutsch, Springer, Taschenbuch, neu.
Lieferung aus: Niederlande, 5-10 werkdagen.
bol.com.
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... 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.Taal: Engels;Afmetingen: 21x234x156 mm;Gewicht: 586,00 gram;Verschijningsdatum: juni 1999;ISBN10: 3540661581;ISBN13: 9783540661580; Engelstalig | Paperback | 1999.
bol.com.
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... 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.Taal: Engels;Afmetingen: 21x234x156 mm;Gewicht: 586,00 gram;Verschijningsdatum: juni 1999;ISBN10: 3540661581;ISBN13: 9783540661580; Engelstalig | Paperback | 1999.
2
Formal Syntax and Semantics of Java
EN NWISBN: 9783540661580 bzw. 3540661581, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandfertig in 5 - 7 Tagen.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science / Lecture
DE NWISBN: 9783540661580 bzw. 3540661581, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferart: Free, Lieferung: Vereinigtes Königreich Großbritannien und Nordirland, Artikelstandort: GL15SQ Gloucester,United Kingdom, Versandkostenfrei.
Von Händler/Antiquariat, loveourprices2.
Festpreisangebot.
Von Händler/Antiquariat, loveourprices2.
Festpreisangebot.
4
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science) Jim Alve
DE NWISBN: 9783540661580 bzw. 3540661581, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferart: Flat, Lieferung: Weltweit, Artikelstandort: United Kingdom.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
Festpreisangebot.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
Festpreisangebot.
Lade…