Items related to Using Formal Description Techniques: An Introduction...
Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL (Wiley Series in Communication and Distributed Systems) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Review
Instructor's Disk available. -- The publisher, John Wiley & Sons
"About this title" may belong to another edition of this title.
Search results for Using Formal Description Techniques: An Introduction...
Seller Image
Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0471934550.G