Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Introduction to Practical Formal Methods Using Temporal Logic Michael Fisher

Introduction to Practical Formal Methods Using Temporal Logic

Szerző: Michael Fisher
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: John Wiley & Sons Inc
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
51 351 Ft
This book provides an introduction to formal methods based on temporal logic, describing techniques...

Információk a könyvről

Szerző
Michael Fisher
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2011
oldal
360
EAN
9780470027882
ISBN
0470027886
Enbook ID
01387932
Kiadó
John Wiley & Sons Inc
Súly
788
Méretek
174 x 250 x 24

Teljes leírás

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.

Érdekelheti

Drawing the Head and Hands

Andrew Loomis
11 517 Ft

Handbook of Meat, Poultry and Seafood Quality

L. eo M. L. Nollet
87 104 Ft

What Must Be Carried

Gadecki
7 092 Ft

Physiology of Sport and Exercise

W. Larry Kenney
41 869 Ft

The Way of the Superior Man

David Deida
6 182 Ft

The Incredible Journey of Plants

Gregory Conti
5 416 Ft

Reminders of Him

Colleen Hoover
3 497 Ft

Harry Potter and the Chamber of Secrets: MinaLima Edition

Joanne Kathleen Rowling
14 230 Ft

UNTITLED ABBY JIMENEZ

ABBY JIMENEZ
4 151 Ft

Edward's Menagerie: DOGS

Kerry Lord
8 899 Ft

History of the World in 500 Maps

Christian Grataloup
13 535 Ft

Sakamoto Days, Vol. 4

Yuto Suzuki
3 582 Ft

Solo Leveling, Vol. 5

Chugong
5 985 Ft

Crochet Creatures of Myth and Legend

LAPP MEGAN
7 792 Ft

Hilda: Night of the Trolls

Luke Pearson
10 150 Ft

The Disney Animation Postcard Box: 100 Collectible Postcards

Disney
6 797 Ft

Seven Year Slip

Ashley Poston
3 268 Ft

Antiquarian Sticker Book: Imaginarium

Odd Dot
7 523 Ft

Heaven Official's Blessing: Tian Guan Ci Fu (Novel) Vol. 2

Mo Xiang Tong Xiu
5 546 Ft

Veiled Throne

Ken Liu
4 707 Ft

Vinland Saga Deluxe 2

Makoto Yukimura
14 517 Ft

Life Is Strange Vol. 5: Coming Home

Emma Vieceli
5 416 Ft

Silver Bayonet

Brainbug Design
9 442 Ft

LEGO Star Wars Yoda's Galaxy Atlas

Simon Hugo
4 707 Ft