Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Chichester, West Sussex, U.K. ; Hoboken, N.J. :
Wiley,
2011.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | OR_ocn729726226 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 110609s2011 enka ob 001 0 eng d | ||
| 040 | |a DG1 |b eng |e pn |c DG1 |d YDXCP |d UKMGB |d E7B |d OCLCQ |d COO |d REDDC |d OCLCQ |d UMI |d DEBSZ |d OCLCO |d OCLCQ |d N$T |d B24X7 |d COD |d IDEBK |d EBLCP |d DEBBG |d OCLCQ |d OCLCF |d OCLCQ |d DG1 |d UWW |d LIP |d LIV |d OCLCQ |d CEF |d INT |d OCLCQ |d WYU |d U3W |d UAB |d OCLCQ |d UKAHL |d VT2 |d OCLCQ |d BRF |d OCLCQ |d OCLCO |d LUU |d OCLCQ | ||
| 016 | 7 | |a 014530617 |2 Uk | |
| 019 | |a 769189105 |a 778621004 |a 810071430 |a 816882841 |a 831121458 |a 1064066924 |a 1103261810 |a 1145947375 |a 1192348160 |a 1240516638 | ||
| 020 | |a 9781119991472 |q (electronic bk.) | ||
| 020 | |a 1119991471 |q (electronic bk.) | ||
| 020 | |a 9781119991489 |q (electronic bk.) | ||
| 020 | |a 111999148X |q (electronic bk.) | ||
| 020 | |a 9780470027882 | ||
| 020 | |a 0470027886 | ||
| 020 | |a 9780470980118 |q (e-PDF) | ||
| 020 | |a 0470980117 |q (e-PDF) | ||
| 020 | |a 9780470980101 |q (o-Book) | ||
| 020 | |a 0470980109 |q (o-Book) | ||
| 020 | |a 9781119991465 |q (e-Pub) | ||
| 020 | |a 1119991463 |q (e-Pub) | ||
| 020 | |a 1283405342 | ||
| 020 | |a 9781283405348 | ||
| 020 | |z 0470027886 | ||
| 020 | |z 111999148X | ||
| 024 | 8 | |a 9786613405340 | |
| 029 | 1 | |a AU@ |b 000047226126 | |
| 029 | 1 | |a AU@ |b 000050060992 | |
| 029 | 1 | |a AU@ |b 000060583523 | |
| 029 | 1 | |a AU@ |b 000066260884 | |
| 029 | 1 | |a AU@ |b 000066531422 | |
| 029 | 1 | |a AU@ |b 000067110689 | |
| 029 | 1 | |a CHNEW |b 000937838 | |
| 029 | 1 | |a CHVBK |b 480181454 | |
| 029 | 1 | |a DEBBG |b BV040900881 | |
| 029 | 1 | |a DEBBG |b BV041906179 | |
| 029 | 1 | |a DEBBG |b BV043393200 | |
| 029 | 1 | |a DEBSZ |b 372743897 | |
| 029 | 1 | |a DEBSZ |b 378279475 | |
| 029 | 1 | |a DEBSZ |b 381369129 | |
| 029 | 1 | |a DEBSZ |b 396998089 | |
| 029 | 1 | |a DEBSZ |b 425883957 | |
| 029 | 1 | |a DEBSZ |b 430994117 | |
| 029 | 1 | |a DEBSZ |b 485003341 | |
| 029 | 1 | |a NZ1 |b 15916049 | |
| 035 | |a (OCoLC)729726226 |z (OCoLC)769189105 |z (OCoLC)778621004 |z (OCoLC)810071430 |z (OCoLC)816882841 |z (OCoLC)831121458 |z (OCoLC)1064066924 |z (OCoLC)1103261810 |z (OCoLC)1145947375 |z (OCoLC)1192348160 |z (OCoLC)1240516638 | ||
| 037 | |a 10.1002/9781119991472 |b Wiley InterScience |n http://www3.interscience.wiley.com | ||
| 050 | 4 | |a QA267.5.T45 |b F57 2011 | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a TJ |2 bicssc | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Fisher, Michael, |d 1962- | |
| 245 | 1 | 3 | |a An introduction to practical formal methods using temporal logic / |c Michael Fisher. |
| 246 | 3 | |a Practical formal methods using temporal logic | |
| 260 | |a Chichester, West Sussex, U.K. ; |a Hoboken, N.J. : |b Wiley, |c 2011. | ||
| 300 | |a 1 online resource (vii, 353 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Front Matter -- Introduction -- Temporal Logic -- Specification -- Deduction -- Model Checking -- Execution -- Selected Applications -- Summary -- Appendix A: Review of Classical Logic -- Appendix B: Solutions to Exercises -- References -- Index. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a 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. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Temporal automata. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Automates temporels. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Temporal automata. |2 fast |0 (OCoLC)fst01147463 | |
| 776 | 0 | 8 | |i Print version: |a Fisher, Michael, 1962- |t Introduction to practical formal methods using temporal logic. |d Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011 |z 9780470027882 |w (DLC) 2010046372 |w (OCoLC)690903915 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780470027882/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25046257 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH21634182 | ||
| 938 | |a Books 24x7 |b B247 |n bks00046822 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL698529 | ||
| 938 | |a ebrary |b EBRY |n ebr10510305 | ||
| 938 | |a EBSCOhost |b EBSC |n 509889 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 340534 | ||
| 938 | |a YBP Library Services |b YANK |n 7238610 | ||
| 938 | |a YBP Library Services |b YANK |n 3588228 | ||
| 994 | |a 92 |b IZTAP | ||