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) - Softcover
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.
- PublisherWiley
- Publication date1993
- ISBN 10 0471934550
- ISBN 13 9780471934554
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages460
- EditorTurner Kenneth J.
Search results for Using Formal Description Techniques: An Introduction...
Stock Image
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 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
Quantity: 2 available
Seller Image
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers. Seller Inventory # wbs8567217721
Quantity: 1 available
Stock Image
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 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 # 6545-9780471934554
Quantity: 2 available
Stock Image
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and Sdl
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-012-776
Quantity: 1 available
Stock Image
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and Sdl: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 38575012/3
Quantity: 1 available