Software Engineering and Formal Methods (Record no. 15870)

MARC details
000 -LEADER
fixed length control field 02097nam a2200397Ia 4500
000 - LEADER
fixed length control field 03620nam a22004215i 4500
001 - CONTROL NUMBER
control field 978-3-031-47115-5
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240319121139.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 231030s2023 sz | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783031471155
-- 978-3-031-47115-5
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 5.1
245 ## - TITLE STATEMENT
Title Software Engineering and Formal Methods
Statement of responsibility, etc. edited by Carla Ferreira, Tim A. C. Willemse.
Medium [electronic resource] :
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2023.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cham
Name of publisher, distributor, etc. Springer Nature Switzerland
Date of publication, distribution, etc. 2023
300 ## - PHYSICAL DESCRIPTION
Extent XII, 378 p. 152 illus., 105 illus. in color.
Other physical details online resource.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming.
9 (RLIN) 39433
Topical term or geographic name entry element Computer System Implementation.
9 (RLIN) 39434
Topical term or geographic name entry element Computer systems.
9 (RLIN) 39435
Topical term or geographic name entry element Control Structures and Microprogramming.
9 (RLIN) 39436
Topical term or geographic name entry element Data structures (Computer science).
9 (RLIN) 39437
Topical term or geographic name entry element Data Structures and Information Theory.
9 (RLIN) 39438
Topical term or geographic name entry element Information theory.
9 (RLIN) 39439
Topical term or geographic name entry element Logic in AI.
9 (RLIN) 39440
Topical term or geographic name entry element Logic programming.
9 (RLIN) 39441
Topical term or geographic name entry element Microprogramming .
9 (RLIN) 39442
Topical term or geographic name entry element Programming Techniques.
9 (RLIN) 39443
Topical term or geographic name entry element Software engineering.
9 (RLIN) 39444
Topical term or geographic name entry element Software Engineering.
9 (RLIN) 39445
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ferreira, Carla.
9 (RLIN) 39446
Personal name Willemse, Tim A. C.
9 (RLIN) 39447
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type e-Book
Source of classification or shelving scheme Dewey Decimal Classification
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Barcode Date last seen Price effective from Koha item type Public note
        S. R. Ranganathan Learning Hub S. R. Ranganathan Learning Hub Online   Veda Library Solutions Pvt. Ltd., Noida   EB2856 2024-03-19 2024-03-19 e-Book Platform:Springer