東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

An introduction to practical formal ...

Fisher, Michael, (1962-)

FindBook

Google Book

Amazon

博客來

An introduction to practical formal methods using temporal logic

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	An introduction to practical formal methods using temporal logic/ Michael Fisher.
其他題名:	Practical formal methods using temporal logic
作者:	Fisher, Michael,
出版者:	Chichester, West Sussex, U.K. ;Wiley, : 2011.,
面頁冊數:	1 online resource (vii, 353 p.) :ill.
標題:	Temporal automata. -
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781119991472
ISBN:	9781119991472 (electronic bk.)

An introduction to practical formal methods using temporal logic
Fisher, Michael,1962-

An introduction to practical formal methods using temporal logic[electronic resource] /Practical formal methods using temporal logicMichael Fisher. - Chichester, West Sussex, U.K. ;Wiley,2011. - 1 online resource (vii, 353 p.) :ill.

Includes bibliographical references and index.

ISBN: 9781119991472 (electronic bk.)

Standard No.: 9786613405340

LCCN: 2010046372Subjects--Topical Terms:

2207199
Temporal automata.

LC Class. No.: QA267.5.T45 / F57 2011

Dewey Class. No.: 511.3

An introduction to practical formal methods using temporal logic
LDR:01493cmm a2200397Ka 4500 001 2045999
003 OCoLC
005 20150610020351.3
006 m o d
007 cr cn|||||||||
008 170221s2011 enka ob 001 0 eng d
010 $a 2010046372
020 $a 9781119991472 (electronic bk.)
020 $a 1119991471 (electronic bk.)
020 $a 9781119991489 (electronic bk.)
020 $a 111999148X (electronic bk.)
020 $a 9780470980118 (e-PDF)
020 $a 0470980117 (e-PDF)
020 $a 9780470980101 (o-Book)
020 $a 0470980109 (o-Book)
020 $a 9781119991465 (e-Pub)
020 $a 1119991463 (e-Pub)
020 $z 9780470027882
020 $z 0470027886
024 8 $a 9786613405340
035 $a (OCoLC)729726226 $z (OCoLC)769189105 $z (OCoLC)810071430
035 $a ocn729726226
040 $a DG1 $b eng $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 $d B24X7 $d COD $d CPV
050 4 $a QA267.5.T45 $b F57 2011
082 0 4 $a 511.3 $2 22
100 1 $a Fisher, Michael, $d 1962- $3 1638558
245 1 3 $a An introduction to practical formal methods using temporal logic $h [electronic resource] / $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 p.) : $b ill.
504 $a Includes bibliographical references and index.
588 $a Description based on print version record.
650 0 $a Temporal automata. $3 2207199
650 0 $a Logic, Symbolic and mathematical. $3 532051
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781119991472