Automated technology for verification and analysis : 22nd international symposium, ATVA 2024 : Kyoto, Japan, October 21-25, 2024 : proceedings (Lecture notes in computer science ; 15054-15055)

Automated technology for verification and analysis : 22nd international symposium, ATVA 2024 : Kyoto, Japan, October 21-25, 2024 : proceedings

(Lecture notes in computer science ; 15054-15055)

Call No. (NDL): M17-25-93
Bibliographic ID of National Diet Library: 033928031

Material type: 図書

Author: ATVA (Symposium) (22nd : 2024 : Kyoto, Japan)ほか

Publisher: Springer

Publication date: [2025]

Material Format: Paper

Capacity, size, etc.: 2 volumes ; 24 cm

NDC: -

View Details

Notes on use

Note (General)：: An abstract and papers

Other physical details：: illustrations (black and white, and colour)

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783031787089 paperback pt. 1
3031787080
9783031787492 paperback pt. 2
ISSN (series): 0302-9743
Title: Automated technology for verification and analysis : 22nd international symposium, ATVA 2024 : Kyoto, Japan, October 21-25, 2024 : proceedings
Series Title: Lecture notes in computer science ; 15054-15055
Author Heading: creator ： ATVA (Symposium) (22nd : 2024 : Kyoto, Japan)
Akshay, S.
Niemetz, Aina
Sankaranarayanan, Sriram
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2025]
Publication Date (W3CDTF): 2025
Extent: 2 volumes
Other physical details: illustrations (black and white, and colour)
Size: 24 cm
Additional Title: ATVA 2024 conference : Oct 2024, Kyoto, Japan
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
still image
Media Type: unmediated
Carrier Type: volume
Subject Heading: Automatic theorem proving--Congresses
Théorèmes--Démonstration automatique--Congrès
DDC: 004.015113
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers
Note (Bibliography): Includes bibliographical references and author index
Source: SpringerLink
https://doi.org/10.1007/978-3-031-78709-6
Holding library: 国立国会図書館
Call No.: M17-25-93
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 033928031
http://id.ndl.go.jp/bib/033928031
OCLC No.: 1518032230
https://www.worldcat.org/oclc/1518032230
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215

See Less