A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, an, Fachbücher von And...

A Machine-checked, Type-safe Model Of Java Concurrency : Language,

Andreas Lochbihler | A Machine-checked, Type-safe Model Of Java

Java Virtual Machine, Fachbücher

Java and the Java Virtual Machine, Fachbücher von Joachim Schmid

Serializable Coroutines for Java Virtual Machines, Fachbücher

Robert F. Stärk (u. A.) | Java And The Java Virtual Machine |

Concurrency, Graphs and Models, Fachbücher

Java Threads and the Concurrency Utilities, Fachbücher von Jeff Friesen

Petri Nets and Other Models of Concurrency - ICATPN 2007, Fachbücher

Virtual Machine Support for Aspect-Oriented Programming Languages, Fachbücher von Michael Haupt

A mathematical model of a DC machine, Fachbücher

A Minimalist Model of Language Acquisition, Fachbücher

Aesthetic Experience and Language: A Model of Literary Criticism, Fachbücher

A Computational Model of Natural Language Communication, Fachbücher

A Concise Introduction to Languages and Machines, Fachbücher