Formal methods and software engineering : (Record no. 643761)

MARC details
000 -LEADER
fixed length control field 07030cam a2201069 i 4500
001 - CONTROL NUMBER
control field ocn894502473
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703163615.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 141105s2014 sz a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency YDXCP
-- UKMGB
-- UPM
-- EMU
-- OCLCO
-- COO
-- OCLCF
-- OHI
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- IOG
-- BUF
-- CEF
-- TFW
-- U3W
-- AU@
-- EBLCP
-- WYU
-- YOU
-- OCLCQ
-- WURST
-- OCLCQ
-- UKAHL
-- DCT
-- QGK
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 016931129
Source Uk
019 ## -
-- 1204093022
-- 1259269294
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319117379
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319117378
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 331911736X
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319117362
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319117362
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-11737-9
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057663793
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 383636620
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15830397
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999918106105765
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)894502473
Canceled/invalid control number (OCoLC)1204093022
-- (OCoLC)1259269294
037 ## - SOURCE OF ACQUISITION
Source of stock number/acquisition Springer
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.F67
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 International Conference on Formal Engineering Methods
Number of part/section/meeting (16th :
Date of meeting 2014 :
Location of meeting Luxembourg, Luxembourg)
9 (RLIN) 52838
245 10 - TITLE STATEMENT
Title Formal methods and software engineering :
Remainder of title 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Statement of responsibility, etc. edited by Stephan Merz, Jun Pang.
246 3# - VARYING FORM OF TITLE
Title proper/short title ICFEM 2014
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2014.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xviii, 460 pages) :
Other physical details illustrations
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
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 8829
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
500 ## - GENERAL NOTE
General note International conference proceedings.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014).
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic Formalism for Phase-Type Distributions -- CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems -- Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm -- An LTL Model Checking Approach for Biological Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes -- Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior -- Timed Automata Verification via IC3 with Zones -- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems -- A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators -- A Formula-Based Approach for Automatic Fault Localization of Imperative Programs -- A Resource-Based Logic for Termination and Non-termination Proofs -- Practical Analysis Framework for Software-Based Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem Proving -- Formal Modeling and Analysis of Cassandra in Maude -- Bounded Model Checking High Level Petri Nets in PIPE+Verifier -- Fast Translation from LTL to Büchi Automata via Non-transition-Based Automata -- Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor -- Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code -- GPU Accelerated Counterexample Generation in LTL Model Checking -- Formal Throughput and Response Time Analysis of MARTE Models -- Extending MSVL with Function Calls.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
546 ## - LANGUAGE NOTE
Language note English.
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 Software engineering
Form subdivision Congresses.
9 (RLIN) 15264
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 Génie logiciel
Form subdivision Congrès.
9 (RLIN) 18168
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 Software engineering
Source of heading or term fast
9 (RLIN) 14736
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term algoritmen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term algorithms
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computeranalyse
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer analysis
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeertalen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeren
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term wiskunde
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term mathematics
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logica
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logic
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computernetwerken
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
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 Merz, Stephan,
Relator term editor.
9 (RLIN) 34390
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pang, Jun
Titles and other words associated with a name (Computer scientist),
Relator term editor.
-- https://id.oclc.org/worldcat/entity/E39PBJvcYrhP7R8RxKWh7gdPcP
9 (RLIN) 52839
758 ## -
-- has work:
-- Formal methods and software engineering (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGKb7vw9mqfBCK97hQYWMq
-- https://id.oclc.org/worldcat/ontology/hasWork
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319117362
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 8829.
International Standard Serial Number 0302-9743
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 2,
Name of part/section of a work Programming and software engineering.
9 (RLIN) 20654
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-319-11737-9">https://link.springer.com/10.1007/978-3-319-11737-9</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH29495695
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6302133
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5586534
938 ## -
-- YBP Library Services
-- YANK
-- 12143530
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 29/07/2022   29/07/2022 29/07/2022 eBook

Powered by Koha