Skip to main content

Formal Description Techniques VIII

  • Book
  • © 1996

Overview

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

Included in the following conference series:

Conference proceedings info: FORTE 1995.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Invitred Papers

  2. Design Methodologies

  3. Verification I

  4. Algebraic Languages

  5. System Specification and Z

Keywords

About this book

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Editors and Affiliations

  • University of Montreal, Montreal, Canada

    Gregor v. Bochmann, Rachida Dssouli

  • University of Pau, Pau, France

    Omar Rafiq

Bibliographic Information

Publish with us