Modélisation et spécification formelle des logiciels / (Record no. 340797)

MARC details
000 -LEADER
fixed length control field 00982nam a2200349 a 4500
001 - CONTROL NUMBER
control field vtls000136678
003 - CONTROL NUMBER IDENTIFIER
control field VRT
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240802184353.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160217s2000 fr b 000 0 fre d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 2921180669
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201602291001
Level of effort used to assign nonsubject heading access points yenh
Level of effort used to assign subject headings 201602221646
Level of effort used to assign classification haultt
Level of effort used to assign subject headings 201602221631
Level of effort used to assign classification haultt
-- 201602171128
-- thupt
040 ## - CATALOGING SOURCE
Original cataloging agency VNU
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title fre
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE
MARC country code FR
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Item number TRE 2000
Edition information 14
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) 005.1
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) TRE 2000
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Tremblay, Guy,
Dates associated with a name 1958-
245 10 - TITLE STATEMENT
Title Modélisation et spécification formelle des logiciels /
Statement of responsibility, etc. Guy Tremblay
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Paris :
Name of publisher, distributor, etc. Loze-Dion,
Date of publication, distribution, etc. 2000
300 ## - PHYSICAL DESCRIPTION
Extent x, 597 p.;
Dimensions 24cm
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logiciels-Modèles de conception
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logiciels-Spécifications
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Méthodes formelles (Informatique)
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Mô hình hóa
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Phần mềm thiết kế
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Khoa học máy tính
900 ## - LOCAL FIELDS
a True
925 ## - LOCAL FIELDS
a G
926 ## - LOCAL FIELDS
a 0
927 ## - LOCAL FIELDS
a SH
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Sách, chuyên khảo, tuyển tập
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
Sẵn sàng lưu thông       Phòng DVTT Tổng hợp Phòng DVTT Tổng hợp Kho tham khảo 17/02/2016 0.00   005.1 TRE 2000 00044000118 01/07/2024 01/07/2024 Sách, chuyên khảo, tuyển tập