Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)

-

ISBN 10: 0471934550 / ISBN 13: 9780471934554

Published by -, 1993

About this Item

Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.

Seller Inventory # 7719-9780471934554

Bibliographic Details

• Title: Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
• Publisher: -
• Publication Date: 1993
• Language: English
• ISBN 10: 0471934550
• ISBN 13: 9780471934554
• Binding: Paperback
• Condition: Very Good

About this title

Synopsis

Deliberately non-mathematical, this user-friendly tutorial contains extensive introductory information on formal methods and the three Formal Description Techniques (FDTs). Easy-to-follow instructions demonstrate how to develop specifications and implementations using FDTs. Features valuable material on existing tools and gives references to publications, workshops, conferences and symposia where you can obtain the latest information on FDTs, their applications and tools. Copiously illustrated with examples.

Review

Instructor's Disk available. -- The publisher, John Wiley & Sons