Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL
Foyalty 348

Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Hardback)

Unavailable. Replaced by new version by new supplier.


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.

Computing & ITComputer scienceTechnicalElectronics & communications engineeringCommunications engineering / telecommunications Publisher: John Wiley and Sons Ltd Publication Date: 23/11/1992 ISBN-13: 9780471934554  Details: Type: Hardback Format: Books
Availability: Unavailable. Replaced by new version by new supplier.  

More books by K. Turner

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

High Speed Serial Link: Design,...
Moises Cases; Bhyrav Mutnury
Multimedia-enabled Sensors in IoT:...
Fadi Al-Turjman
The Digital Ape: how to live (in...
Nigel Shadbolt; Roger Hampson
The Analogue Revolution: ...
Simon Webb
© W&G Foyle Ltd