An Introduction to Practical Formal Methods Using Temporal Logic - Fisher, Michael (University of Liverpool, UK) - Kirjat - John Wiley & Sons Inc - 9780470027882 - maanantai 18. huhtikuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

An Introduction to Practical Formal Methods Using Temporal Logic

Fisher, Michael (University of Liverpool, UK)

Hinta
R 2.370,50

Tilattu etävarastosta

Arvioitu toimitus pe 11. - 18. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

An Introduction to Practical Formal Methods Using Temporal Logic

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.

360 pages, Illustrations

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 18. huhtikuuta 2011
ISBN13 9780470027882
Tuottaja John Wiley & Sons Inc
Sivujen määrä 360
Mitta 174 × 250 × 24 mm   ·   788 g

Katso kaikki joka sisältää Fisher, Michael (University of Liverpool, UK) ( Esim. Hardcover Book )