Normal view MARC view ISBD view

Верификация моделей программ= (Record no. 123076)

MARC details
000 -LEADER
fixed length control field	01958nam a2200325 u 4500
001 - CONTROL NUMBER
control field	000329076
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YeHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20250617130726.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	040420s2002 \|\|\| r 000 0 rus d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	5940570542
040 ## - CATALOGING SOURCE
Original cataloging agency	AM-YeHGA
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title	rus
Language code of original	eng
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
--	124430
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Кларк, Эдмунд М., мл.
245 10 - TITLE STATEMENT
Title	Верификация моделей программ=
Remainder of title	Model Checking /
Statement of responsibility, etc.	Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Москва :
Name of publisher, distributor, etc.	Изд-во Моск. центра непрерыв. мат. образования,
Date of publication, distribution, etc.	2002.
300 ## - PHYSICAL DESCRIPTION
Extent	416 с.
Other physical details	ил.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Библиогр.: с. 377-399
520 ## - SUMMARY, ETC.
Summary, etc.	В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Вычислительная техника
General subdivision	Вычислительные машины электронные цифровые
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Программирование
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Автоматизация
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term	Верификация систем программирования
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term	Верификация моделей программ
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term	Параллельные системы с конечным числом состояний
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term	Модели в темпоральной логике
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Грамберг, Орна
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Пелед, Дорон
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Захаров, В.
Relator term	ред.
Relationship	edt
Relator term	trl
Relationship	пер.

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection	Home library	Current library	Date acquired	Total checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type	Public note
				General	Fundamental Scientific Library	Fundamental Scientific Library	22/12/2016		519.68	120650094	22/12/2016	22/12/2016	Գրքեր / Books	30 Days Loan