Siirry suoraan sisältöön
Formal Syntax and Semantics of Java
Tallenna

Formal Syntax and Semantics of Java

Java, undoubtedly, has its roots in embedded systems and the Web. Describing the Semantics of Java and Proving Type Soundness; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java;
Toimittaja
Jim Alves-Foss
Painos
1999 ed.
ISBN
9783540661580
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
9.6.1999
Sivumäärä
410