Formal modeling and analysis of timed systems (Titelsatznr. 22018)

000 -LEADER
fixed length control field	02374cam a2200589ui 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20150623165358.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field	m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field	cr cnu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	140416s2013 gw o 101 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783642402289 (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3642402283 (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3642402291 (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783642402296 (electronic bk.)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code	10.1007/978-3-642-40229-6
Source of number or code	doi
040 ## - CATALOGING SOURCE
Original cataloging agency	CaNSHNOV
Language of cataloging	eng
Description conventions	rda
060 ## - NATIONAL LIBRARY OF MEDICINE CALL NUMBER
Item number	FF
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYF
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UM
Source	bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM051000
Source	bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code	COM036000
Source	bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	003 .3
Edition number	23
084 ## - OTHER CLASSIFICATION NUMBER
Classification number	003 .3
Item number	FF
001 - CONTROL NUMBER
control field	0000116428
003 - CONTROL NUMBER IDENTIFIER
control field	0000
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element	FORMATS (Conference)
Number of part/section/meeting	(11th :,
Date of meeting	2013 :,
Location of meeting	Buenos Aires, Argentina).
245 10 - TITLE STATEMENT
Title	Formal modeling and analysis of timed systems
Medium	[[Book] :]
Remainder of title	11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Statement of responsibility, etc.	Víctor Braberman, Laurent Fribourg (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title	FORMATS 2013.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.	Heidelberg :
Name of publisher, distributor, etc.	Springer .,
Date of publication, distribution, etc.	2013.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture	Berlin :
Name of producer, publisher, distributor, manufacturer	Springer,
Date of production, publication, distribution, manufacture, or copyright notice	2013.
300 ## - PHYSICAL DESCRIPTION
Extent	1 online resource (x, 275 pages) :
Other physical details	illustrations. ;
Dimensions	24 cm.
336 ## - CONTENT TYPE
Content type term	text
Content type code	txt
Source	rdacontent
337 ## - MEDIA TYPE
Media type term	computer
Media type code	c
Source	rdamedia
338 ## - CARRIER TYPE
Carrier type term	online resource
Carrier type code	cr
Source	rdacarrier
490 1# - SERIES STATEMENT
Series statement	Lecture Notes in Computer Science,
International Standard Serial Number	0302-9743 ;
Volume/sequential designation	8053
490 1# - SERIES STATEMENT
Series statement	LNCS sublibrary. SL 1, Theoretical computer science and general issues
500 ## - GENERAL NOTE
General note	International conference proceedings.
500 ## - GENERAL NOTE
General note	Includes author index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Includes author index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Computer simulation
Form subdivision	Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Temporal automata
Form subdivision	Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Formal methods (Computer science)
Form subdivision	Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	System analysis
Form subdivision	Congresses.
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Computer Simulation
Form subdivision	Congresses.
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Systems Analysis
Form subdivision	Congresses.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term	Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Fribourg, Laurent,
Dates associated with a name	1957-,
Relator term	editor of compilation.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Braberman, Víctor,
Relator term	editor of compilation.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture notes in computer science ;
Volume number/sequential designation	8053.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	LNCS sublibrary.
Number of part/section of a work	SL 1,
Name of part/section of a work	Theoretical computer science and general issues.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	http://ezproxy.library.dal.ca/login?url=http://dx.doi.org/10.1007/978-3-642-40229-6
Link text	Check for Full Text
Public note	Access restricted: DAL users only
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Books

Exemplare
Withdrawn status	Lost status	Damaged status	Not for loan	Permanent Location	Current Location	Shelving location	Date acquired	Cost, normal purchase price	Full call number	Barcode	Date last seen	Copy number	Uniform Resource Identifier	Price effective from	Koha item type
				6october	6october	1105	2014-04-16	460.00	003 .3	soule105010685	2021-08-29	1	Out	2015-06-23	Books

SOUL Catalog فهرس المكتبة المركزية لجامعة 6 أكتوبر

Formal modeling and analysis of timed systems (Titelsatznr. 22018)