Formal specification : (Record no. 143687)

MARC details
000 -LEADER
fixed length control field 01500nam a2200361 i 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field s1999||||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781852330026 pbk
Terms of availability No price
Qualifying information paperback
040 ## - CATALOGING SOURCE
Language of cataloging eng
Description conventions rda
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Nissanke, Nimal,
Relator term author
245 10 - TITLE STATEMENT
Title Formal specification :
Remainder of title techniques and applications /
Statement of responsibility, etc. Nimal Nissanke.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture London :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 1999.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 295 pages :
Other physical details illustrations ;
Dimensions 24 cm
336 ## - CONTENT TYPE
Content type term text
Source rdacontent
336 ## - CONTENT TYPE
Content type term text
Source rdacontent
337 ## - MEDIA TYPE
Media type term unmediated
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term volume
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc. Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Application software
General subdivision Development
9 (RLIN) 16050
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Z (Computer program language).
9 (RLIN) 14918
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering
9 (RLIN) 14922
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical theory of computation
Source of heading or term thema
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming / software engineering
Source of heading or term thema
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering
Source of heading or term thema
9 (RLIN) 14922
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
Source of heading or term thema
9 (RLIN) 15183
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Maths for engineers
Source of heading or term thema
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Maths for computer scientists
Source of heading or term thema
902 ## - LOCAL DATA ELEMENT B, LDB (RLIN)
a 170103
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b13079335
b m
c -
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Suppress in OPAC 0
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Operator's initials, OID (RLIN) 0
Cataloger's initials, CIN (RLIN) 130906
First Date, FD (RLIN) m
Local a
-- -
-- 0
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
Not Withdrawn Not Lost Dewey Decimal Classification Not Damaged Available for Loan Sourced from AMM ATU Dublin Road ATU Dublin Road General Shelves 06/09/2013 87.47     005.12 NIS J152472 05/04/2017 87.47 05/04/2017 General