Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Abstract State Machines 2003: Advances in Theory and Practice

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

The Classical Decision Problem

Produktform: Buch / Einband - flex.(Paperback)

Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Java and the Java Virtual Machine

Definition, Verification, Validation

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Java and the Java Virtual Machine

Definition, Verification, Validation

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: Buch / Einband - flex.(Paperback)

Java and the Java Virtual Machine

Definition, Verification, Validation

Produktform: Buch / Einband - fest (Hardcover)

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem