國立高雄大學圖資館 |

Language: English

Back

An introduction to practical formal ...

Fisher, Michael, (1962-)

An introduction to practical formal methods using temporal logic

Record Type:	Electronic resources : Monograph/item
Title/Author:	An introduction to practical formal methods using temporal logicMichael Fisher.
remainder title:	Practical formal methods using temporal logic
Author:	Fisher, Michael,
Published:	Chichester, West Sussex, U.K. ;Wiley,2011.
Description:	1 online resource (vii, 353 p.) :ill.
Subject:	Temporal automata.
Online resource:	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:

544798
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 495532
003 OCoLC
005 20150610020351.3
006 m o d
007 cr cn|||||||||
008 170310s2011 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 663392
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 544798
650 0 $a Logic, Symbolic and mathematical. $3 180452
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781119991472