Mohlo by sa vám tiež páčiť

Viac informácií o knihe Introduction to Practical Formal Methods Using Temporal Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 333 bodov

Anotácia knihy

This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further. A variety of examples, exercises and pointers to more advanced work in this area help to clarify and illustrate topics discussed. The following chapter shows how this logic can be used to specify a variety of computational systems. Chapters 4, 5 and 6 analyse techniques using temporal specifications to verify and develop computational systems, namely deductive verification, algorithmic verification, and direct execution. A final chapter on case studies analyses the potential problems that can occur in a range of engineering applications, and explains how temporal logic can improve their accuracy and reliability. Fisher also gives pointer to where the reader can find full descriptions of these computations earlier in the book. An appendix provides an introduction to classical logic, and an accompanying website contains links to additional material related to the book, and to a range of systems based on temporal logic.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering

• Celý názov: Introduction to Practical Formal Methods Using Temporal Logic
• Autor: Michael Fisher
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 360
• EAN: 9780470027882
• ISBN: 0470027886
• ID: 01387932
• Nakladateľ: John Wiley & Sons Inc
• Hmotnosť: 788 g
• Rozmery: 250 × 174 × 24 mm
• Dátum vydania: 18. April 2011

Obľúbené z iného súdka

---

---

---