大葉大學圖書館 |

登入

回首頁

An introduction to practical formal ...

Fisher, Michael, (1962-)

An introduction to practical formal methods using temporal logic[electronic resource] /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	511.3
書名/作者:	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.
標題:	Logic, Symbolic and mathematical.
ISBN:	9781119991472 (electronic bk.)
ISBN:	1119991471 (electronic bk.)
ISBN:	9781119991489 (electronic bk.)
ISBN:	111999148X (electronic bk.)
ISBN:	9780470980118 (e-PDF)
ISBN:	0470980117 (e-PDF)
ISBN:	9780470980101 (o-Book)
ISBN:	0470980109 (o-Book)
ISBN:	9781119991465 (e-Pub)
ISBN:	1119991463 (e-Pub)
書目註:	Includes bibliographical references and index.
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781119991472

An introduction to practical formal methods using temporal logic[electronic resource] /
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:

628447
Temporal automata.

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

Dewey Class. No.: 511.3

An introduction to practical formal methods using temporal logic[electronic resource] /
LDR:01493cmm a2200397Ka 4500 001 461803
003 OCoLC
005 20150610020351.3
006 m o d
007 cr cn|||||||||
008 170223s2011 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 665855
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 628447
650 0 $a Logic, Symbolic and mathematical. $3 381130
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781119991472

筆 0 讀者評論

多媒體

多媒體檔案
http://onlinelibrary.wiley.com/book/10.1002/9781119991472

評論

新增評論分享你的心得

Export

取書館別