Formal Methods and Software Engineering (Registro nro. 276895)

MARC details
000 -LIDER
fixed length control field 04983nam a22006615i 4500
001 - CONTROL NUMBER
control field 978-981-96-0617-7
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250516160200.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 241129s2024 si | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789819606177
-- 978-981-96-0617-7
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5-76.95
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYA
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.0151
Edition number 23
245 10 - TITLE STATEMENT
Title Formal Methods and Software Engineering
Medium [electronic resource] :
Remainder of title 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings /
Statement of responsibility, etc. edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2024.
264 #1 -
-- Singapore :
-- Springer Nature Singapore :
-- Imprint: Springer,
-- 2024.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 410 p. 103 illus., 70 illus. in color.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume/sequential designation 15394
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters - A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.
520 ## - SUMMARY, ETC.
Summary, etc. This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE
Owner UABC ;
Method of acquisition Perpetuidad
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Computer programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Compilers (Computer programs).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Application software.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Natural language processing (Computer science).
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Theory of Computation.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Programming Techniques.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Compilers and Interpreters.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Computer and Information Systems Applications.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Término temático o nombre geográfico como elemento de entrada Natural Language Processing (NLP).
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ogata, Kazuhiro.
Relator term editor.
-- (orcid)0000-0002-4441-3259
-- https://orcid.org/0000-0002-4441-3259
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Mery, Dominique.
Relator term editor.
-- (orcid)0000-0001-5231-6611
-- https://orcid.org/0000-0001-5231-6611
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sun, Meng.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Shaoying.
Relator term editor.
-- (orcid)0000-0002-6748-5052
-- https://orcid.org/0000-0002-6748-5052
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9789819606160
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9789819606184
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 1611-3349 ;
Volume number/sequential designation 15394
856 40 - ELECTRONIC LOCATION AND ACCESS
Public note Libro electrónico
Uniform Resource Identifier http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-981-96-0617-7
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Libro Electrónico
Existencias
Estado de retiro Colección Ubicación permanente Ubicación actual Fecha de ingreso Total Checkouts Date last seen Número de copia Tipo de material
  Colección de Libros Electrónicos Biblioteca Electrónica Biblioteca Electrónica 16/05/2025   16/05/2025 1 Libro Electrónico

Con tecnología Koha