NUST Institutions Library Catalogue

PRINCIPLES OF MODEL CHECKING (Record no. 23246)

000 -LEADER
fixed length control field 00251nam a22001217a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262026499
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.24
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name CHRISTEL BAIER
245 ## - TITLE STATEMENT
Title PRINCIPLES OF MODEL CHECKING
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. USA
Name of publisher, distributor, etc. MIT PRESS
300 ## - PHYSICAL DESCRIPTION
Extent 975
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Date last checked out Price effective from Koha item type
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 1 004.24 RCMS001667 06/08/2018 09/20/2016 01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 1 004.24 RCMS001668 09/13/2018 09/20/2016 01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 1 004.24 RCMS001669 10/05/2016 09/20/2016 01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013   004.24 RCMS001670 03/06/2013   01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 3 004.24 RCMS001671 12/13/2021 02/28/2018 01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013   004.24 RCMS001672 03/06/2013   01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013   004.24 RCMS001673 03/06/2013   01/05/2017 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013   004.24 RCMS001659 03/06/2013   03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 2 004.24 RCMS001660 09/23/2016 09/23/2016 03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 1 004.24 RCMS001661 09/04/2014 09/04/2014 03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013   004.24 RCMS001662 03/06/2013   03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 2 004.24 RCMS001663 07/01/2019 06/24/2016 03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 2 004.24 RCMS001664 10/03/2016 10/03/2016 03/06/2013 Book
        School of Interdisciplinary Engineering and Sciences (SINES) School of Interdisciplinary Engineering and Sciences (SINES) General Stacks 03/06/2013 2 004.24 RCMS001665 05/30/2018 04/16/2018 03/06/2013 Book
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.