Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Specification, Algebra, and Software (Record no. 402994)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 04909nam a22005775i 4500
001 - Контрольный номер
Контрольное поле vtls000545103
005 - Дата корректировки
Контрольное поле 20210922083247.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783642546242
-- 978-3-642-54624-2
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-642-54624-2
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000545103
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.9.L63
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.5913
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA76.63
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UM
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYF
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051000
Источник кода bisacsh
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM036000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.1015113
Номер издания 23
245 10 - Заглавие
Заглавие Specification, Algebra, and Software
Физический носитель electronic resource
Продолж. заглавия Essays Dedicated to Kokichi Futatsugi /
Ответственность edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata.
260 ## - Выходные данные
Место издания Berlin, Heidelberg :
Издательство Springer Berlin Heidelberg :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем XXII, 657 p. 115 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 8373
505 0# - Примечание о содержании
Содержание Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis of Formal Verification Processes -- CafeOBJ Traces -- Parchments for CafeOBJ Logics -- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous Observer -- Model Checking TLR* Guarantee Formulas on Infinite Systems -- Towards a Combination of CafeOBJ and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service Component Ensembles in Rewriting Logic -- Dynamic Validation of Maude Prototypes of UML Models -- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) -- The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract) -- Synthesis of Infinite-State Abstractions and Their Use for Software Validation -- Behavioral Rewrite Systems and Behavioral Productivity -- Functional Logic Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble Modeling – The Helena Approach: Handling Massively Distributed Systems with ELaborate ENsemble Architectures -- Behaviour, Interaction and Dynamics -- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing -- Extending Operation Semantics to Enhance the Applicability of Formal Refinement -- An Institution for Imperative RSL Specifications -- 8k-ary Grid Graph Models of Tabular Forms -- Everlasting Challenges with the OBJ Language Family -- Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude -- EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks -- Some Engineering Applications of the OTS/CafeOBJ Method -- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method -- On Automation of OTS/CafeOBJ Method -- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool -- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs.
520 ## - Аннотация
Аннотация This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Programming Languages, Compilers, Interpreters.
9 (RLIN) 303287
700 1# - Другие авторы
Другие авторы Iida, Shusaku.
Роль лиц editor.
9 (RLIN) 453406
700 1# - Другие авторы
Другие авторы Meseguer, José.
Роль лиц editor.
9 (RLIN) 324999
700 1# - Другие авторы
Другие авторы Ogata, Kazuhiro.
Роль лиц editor.
9 (RLIN) 453407
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-642-54624-2">http://dx.doi.org/10.1007/978-3-642-54624-2</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 402994

No items available.