1 “...  The systems engineering method proposed in this book, which is based on Abstract State Machines...”

2 Table of Contents: “... Java and the JVM -- 1.4 Sources and literature -- 2. Abstract State Machines -- 2.1 ASMs in a nutshell...”

3

4 Table of Contents: “... EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a...”

5 Table of Contents: “... State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks...”

6 Subjects: “...Machine theory...”

7 Table of Contents: “... -- How to implement first order formulas in local memory machine models -- A new approach to abstract...”

8 Table of Contents: “... machine specifications of the steam boiler control to well documented executable code -- An algebraic...”

9 Subjects: “...Machine theory...”

10 Table of Contents: “...? -- The model theory of concurrency -- From semantics to rules: A machine assisted analysis -- On the reasons...”

11 Table of Contents: “...A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs...”

12 Subjects: “...Machine theory...”

13 Table of Contents: “... Modeling -- 3 External Testing -- 4 Self-Testable Systems-On-Chip -- References -- Machine Assisted...”

14 Table of Contents: “... spectra with one variable -- On the early history of register machines -- Randomness, provability...”

15 Table of Contents: “... by teams from examples with errors -- A survey of rewrite systems -- Interfacing a logic machine...”

16 “... of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available...”