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 |