The Object-Z Specification Language

Authors:

ISBN: 978-1-4613-7401-5 (Print) 978-1-4615-5265-9 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xiii

  2. No Access

    Book Chapter

    Pages 1-25

    Introduction

  3. No Access

    Book Chapter

    Pages 27-41

    Semantic Basis

  4. No Access

    Book Chapter

    Pages 43-74

    Syntactic Constructs

  5. No Access

    Book Chapter

    Pages 75-114

    Language Definition

  6. No Access

    Book Chapter

    Pages 115-131

    Concurrent Systems

  7. No Access

    Book Chapter

    Pages 133-142

    Concrete Syntax

  8. Back Matter

    Pages 143-146