Formal methods: Foundations and applications : (Record no. 642096)

MARC details
000 -LEADER
fixed length control field 07693cam a2201117 a 4500
001 - CONTROL NUMBER
control field ocn810931913
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703161856.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu---unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120924s2012 gw ob 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012946266
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency YDXCP
-- COO
-- ZMC
-- OCLCQ
-- I9W
-- E7B
-- OCLCF
-- BEDGE
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- EBLCP
-- VT2
-- ESU
-- OCLCQ
-- IOG
-- REB
-- CEF
-- U3W
-- WYU
-- AU@
-- YOU
-- TKN
-- LEAUB
-- OCLCQ
-- AJS
-- DCT
-- OCLCQ
-- OCLCO
-- UKAHL
-- OCLCQ
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- HAGCC
-- HUA
-- BTCTA
-- OHX
-- BWX
-- DLC
-- GBVCP
-- UKMGB
-- OCLCO
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB2A1118
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 016183052
Source Uk
019 ## -
-- 806020821
-- 817276880
-- 964878627
-- 985053366
-- 1005801300
-- 1026455123
-- 1027278438
-- 1058713046
-- 1063462978
-- 1066584641
-- 1081180529
-- 1087343508
-- 1162630821
-- 1204011530
-- 1262684199
-- 1300224303
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642332968
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 364233296X
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642332951
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642332951
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642332951
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-33296-8
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000050101484
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051449446
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060029459
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384330339
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14677761
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999910294205765
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000050079758
029 1# - (OCLC)
OCLC library identifier GBVCP
System control number 722122136
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 016183052
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)810931913
Canceled/invalid control number (OCoLC)806020821
-- (OCoLC)817276880
-- (OCoLC)964878627
-- (OCoLC)985053366
-- (OCoLC)1005801300
-- (OCoLC)1026455123
-- (OCoLC)1027278438
-- (OCoLC)1058713046
-- (OCoLC)1063462978
-- (OCoLC)1066584641
-- (OCoLC)1081180529
-- (OCoLC)1087343508
-- (OCoLC)1162630821
-- (OCoLC)1204011530
-- (OCoLC)1262684199
-- (OCoLC)1300224303
037 ## - SOURCE OF ACQUISITION
Source of stock number/acquisition Springer
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.F67
Item number B73 2012
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.01/51
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Brazilian Symposium on Formal Methods
Number of part/section/meeting (15th :
Date of meeting 2012 :
Location of meeting Natal, Brazil)
9 (RLIN) 46561
245 10 - TITLE STATEMENT
Title Formal methods: Foundations and applications :
Remainder of title 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Statement of responsibility, etc. Rohit Gheyi, David Naumann (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title SBMF 2012
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2012.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource
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
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 7498
505 00 - FORMATTED CONTENTS NOTE
Title The Versatile Synchronous Observer /
Statement of responsibility John Rushby --
Title Thirteen Years of Automated Code Analysis at Microsoft /
Statement of responsibility Wolfram Schulte --
Title Model Checking Propositional Deontic Temporal Logic via a [mu]-Calculus Characterization /
Statement of responsibility Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro and Nazareno M. Aguirre --
Title An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting /
Statement of responsibility Haniel Barbosa and David Déharbe --
Title Palytoxin Inhibits the Sodium-Potassium Pump -- An Investigation of an Electrophysiological Model Using Probabilistic Model Checking /
Statement of responsibility Fernando A.F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V.A. Campos --
Title BETA: A B Based Testing Approach /
Statement of responsibility Ernesto C.B. de Matos and Anamaria Martins Moreira --
Title A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications /
Statement of responsibility Gustavo Carvalho, Diogo Falcão, Alexandre Mota and Augusto Sampaio --
Title Specification Patterns for Properties over Reachable States of Graph Grammars /
Statement of responsibility Simone André da Costa Cavalheiro, Luciana Foss and Leila Ribeiro --
Title Compositionality and Refinement in Model-Driven Engineering /
Statement of responsibility Jim Davies, Jeremy Gibbons, David Milward and James Welch --
Title Identifying Hardware Failures Systematically /
Statement of responsibility André Didier and Alexandre Mota --
Title Investigating Time Properties of Interrupt-Driven Programs /
Statement of responsibility Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu and Shengchao Qin --
Title Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows /
Statement of responsibility Germán Regis, Nicolás Ricci, Nazareno M. Aguirre and Tom Maibaum --
Title Composition of Model Transformations: A Categorical Framework /
Statement of responsibility Christoph Schulz, Michael Löwe and Harald König --
Title Verification Rules for Exception Handling in Eiffel /
Statement of responsibility Emil Sekerinski and Tian Zhang --
Title A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications /
Statement of responsibility Subodh Sharma, Ganesh Gopalakrishnan and Greg Bronevetsky --
Title Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions /
Statement of responsibility Dante Zanarini, Carlos Luna and Luis Sierra.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 15679
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Management information systems.
9 (RLIN) 17170
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic Data Processing
9 (RLIN) 6665
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Management Information Systems
9 (RLIN) 17170
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes formelles (Informatique)
Form subdivision Congrès.
9 (RLIN) 18838
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
9 (RLIN) 14930
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systèmes d'information de gestion.
9 (RLIN) 34380
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
9 (RLIN) 15635
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formale Methode
Source of heading or term gnd
9 (RLIN) 18841
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Verifikation
Source of heading or term gnd
9 (RLIN) 28309
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Softwaretest
Source of heading or term gnd
9 (RLIN) 38895
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Modellgetriebene Entwicklung
Source of heading or term gnd
9 (RLIN) 20126
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Fehlertoleranz
Source of heading or term gnd
9 (RLIN) 20649
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computer science.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Software engineering.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic design.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information Systems.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logics and Meanings of Programs.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical Logic and Formal Languages.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming Languages, Compilers, Interpreters.
653 #4 - INDEX TERM--UNCONTROLLED
Uncontrolled term Management of Computing and Information Systems.
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Gheyi, Rohit.
9 (RLIN) 46562
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Naumann, David.
9 (RLIN) 46563
758 ## -
-- has work:
-- Formal Methods: Foundations and Applications (Text)
-- https://id.oclc.org/worldcat/entity/E39PCYkJdCDPqJjJYwFKgfKDMd
-- https://id.oclc.org/worldcat/ontology/hasWork
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Brazilian Symposium on Formal Methods (15th : 2012 : Natal, Brazil).
Title Formal methods: Foundations and applications.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2012
Record control number (DLC) 2012946266
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 7498.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-642-33296-8">https://link.springer.com/10.1007/978-3-642-33296-8</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH29112063
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3069845
938 ## -
-- ebrary
-- EBRY
-- ebr10651183
938 ## -
-- YBP Library Services
-- YANK
-- 9786104
938 ## -
-- Baker and Taylor
-- BTCP
-- BK0011933002
938 ## -
-- Otto Harrassowitz
-- HARR
-- har120214363
938 ## -
-- YBP Library Services
-- YANK
-- 9526178
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha