Normal view MARC view ISBD view

Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000 (Record no. 15941)

000 -LEADER
fixed length control field	00607nam a2200193 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	160616s2000 000 0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	3540410554
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number	681
Item number	LNCS
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Joseph, Mathai. Ed.
245 ## - TITLE STATEMENT
Title	Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Berlin
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher	Springer
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication	2000
300 ## - PHYSICAL DESCRIPTION
Number of Pages	303
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Lecture notes in computer science ; 01926
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Formal Techniques
--	Real-Time
--	Fault-Tolerant Systems
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element	Computer Science
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	BOOKS

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Shelving location	Full call number	Accession Number	Koha item type	Owner (If the Item is Gratis)
				IMSc Library	IMSc Library	Second floor, Rack No: 48, Shelf No: 25	681 LNCS	43164	BOOKS
				IMSc Library	IMSc Library	Second floor, Rack No: 48, Shelf No: 25	681 LNCS	74634	BOOKS	Kamal Lodaya