An introduction to practical formal methods using temporal logic (Record no. 6956)

MARC details
000 -LEADER
fixed length control field 01498cam a2200277 a 4500
001 - CONTROL NUMBER
control field 16569681
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160101161250.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 101207s2011 enka g b 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2010046372
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470027882 (hbk)
040 ## - CATALOGING SOURCE
Transcribing agency NCL
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number FIS-A 2011 8981
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fisher, Michael.
Dates associated with a name 1962-
245 ## - TITLE STATEMENT
Title An introduction to practical formal methods using temporal logic
Statement of responsibility, etc. / by Michael Fisher.
246 ## - VARYING FORM OF TITLE
Title proper/short title Practical formal methods using temporal logic
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Chichester, West Sussex, U.K. ;
-- Hoboken, N.J. :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. c2011.
300 ## - PHYSICAL DESCRIPTION
Extent vii, 353 p. :
Other physical details ill. ;
Dimensions 26 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [321]-347) and index.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Front Matter --<br/>Introduction --<br/>Temporal Logic --<br/>Specification --<br/>Deduction --<br/>Model Checking --<br/>Execution --<br/>Selected Applications --<br/>Summary --<br/>Appendix A: Review of Classical Logic --<br/>Appendix B: Solutions to Exercises --<br/>References --<br/>Index.
520 ## - SUMMARY, ETC.
Summary, etc. 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Temporal automata.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element MATHEMATICS -- Infinity.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Price effective from Koha item type
          Namal Library Namal Library Mathematics 01/01/2016 Allied Book Company Lhr 13569.92 4695-INS 3 1 511.3 FIS-A 2011 8981 0008981 01/01/2018 12/21/2017 01/01/2016 Books
          Namal Library Namal Library Mathematics 01/01/2016 Allied Book Company Lhr 13569.00 4695-INS     511.3 FIS-A 2011 8982 0008982 01/01/2016   01/01/2016 Books
          Namal Library Namal Library Reference 01/01/2016 Allied Book Company Lhr 13569.00 4695-INS     511.3 FIS-A 2011 8983 0008983 01/01/2016   01/01/2016 Reference
          Namal Library Namal Library Mathematics 01/01/2016 Allied Book Company Lhr 13569.00 4695-INS 2 3 511.3 FIS-A 2011 8984 0008984 12/11/2017 11/13/2017 01/01/2016 Books