Verwandte Artikel zu Using Formal Description Techniques: An Introduction...
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems) - Softcover
Inhaltsangabe
For the complete beginner, this text has substantial introductory material on formal methods and the three FDTs. This is complemented by guidance on how to develop specifications and implementations using the FDTs. The treatment of the FDTs is deliberately non-mathematical to make the book accessible to a wide readership. The book is illustrated with examples since it is believed that a great deal can be learned from the work of experienced specifiers. The examples can be used to study one FDT or to compare the approaches taken by different FDTs. Although the examples mainly deal with data communications, they illustrate important principles that apply in many other application areas. The examples have been written for readers with little knowledge of data communications. The text is suitable for self-study. It would also be appropriate as a textbook for a practical course on formal methods and languages. The examples in particular would be a source of material for laboratory exercises and projects. An instructor's disk has therefore been prepared as a companion to the book. It contains the ASCII text (less the commentary) of all the complete formal descriptions in the book. Major diagrams that would be useful for teaching are also included on the disk in LATEX or PostScript form as appropriate.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
For the complete beginner, this text has substantial introductory material on formal methods and the three FDTs. This is complemented by guidance on how to develop specifications and implementations using the FDTs. The treatment of the FDTs is deliberately non-mathematical to make the book accessible to a wide readership. The book is illustrated with examples since it is believed that a great deal can be learned from the work of experienced specifiers. The examples can be used to study one FDT or to compare the approaches taken by different FDTs. Although the examples mainly deal with data communications, they illustrate important principles that apply in many other application areas. The examples have been written for readers with little knowledge of data communications. The text is suitable for self-study. It would also be appropriate as a textbook for a practical course on formal methods and languages. The examples in particular would be a source of material for laboratory exercises and projects. An instructor's disk has therefore been prepared as a companion to the book. It contains the ASCII text (less the commentary) of all the complete formal descriptions in the book. Major diagrams that would be useful for teaching are also included on the disk in LATEX or PostScript form as appropriate.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Using Formal Description Techniques: An Introduction...
Beispielbild für diese ISBN
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and Sdl
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers D-012-776
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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)
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 38575012/3
Anzahl: 1 verfügbar
Foto des Verkäufers
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers wbs8567217721
Anzahl: 1 verfügbar