Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Sprawdź status swojego zamówienia

Skontaktuj się z nami

Introduction to Practical Formal Methods Using Temporal Logic

Name: Introduction to Practical Formal Methods Using Temporal Logic
Brand: John Wiley & Sons Inc
SKU: 9780470027882
Price: 596.21 PLN
Availability: InStock

Autor: Michael Fisher

Język:

Oprawa: Twarda

Wydawca: John Wiley & Sons Inc

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 11-15 dni

596.21 zł

This book provides an introduction to formal methods based on temporal logic, describing techniques...

Informacje o książce

Autor

Michael Fisher

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2011

strony

360

EAN

9780470027882

ISBN

0470027886

Enbook ID

01387932

Wydawca

John Wiley & Sons Inc

Waga

788

Wymiary

174 x 250 x 24

Pełny opis

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.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Introduction to Practical Formal Methods Using Temporal Logic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Drawing the Head and Hands

Handbook of Meat, Poultry and Seafood Quality

What Must Be Carried

Physiology of Sport and Exercise

The Incredible Journey of Plants

Reminders of Him

Harry Potter and the Chamber of Secrets: MinaLima Edition

The Way of the Superior Man

Antiquarian Sticker Book: Imaginarium

The Disney Animation Postcard Box: 100 Collectible Postcards

UNTITLED ABBY JIMENEZ

History of the World in 500 Maps

Sakamoto Days, Vol. 4

Solo Leveling, Vol. 5

Crochet Creatures of Myth and Legend

Hilda: Night of the Trolls

Saul Leiter

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

Veiled Throne

Edward's Menagerie: DOGS

Life Is Strange Vol. 5: Coming Home

Silver Bayonet

LEGO Star Wars Yoda's Galaxy Atlas

Rewire Your OCD Brain