MARC details
000 -LEADER |
fixed length control field |
02017nam a2200313Ia 4500 |
000 - LEADER |
fixed length control field |
03039nam a22003375i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-031-43345-0 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240319121126.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 |
231021s2023 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783031433450 |
-- |
978-3-031-43345-0 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
4.0151 |
245 ## - TITLE STATEMENT |
Title |
Recent Trends in Algebraic Development Techniques |
Statement of responsibility, etc. |
edited by Alexandre Madeira, Manuel A. Martins. |
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 |
IX, 179 p. 106 illus., 12 illus. in color. |
Other physical details |
online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer programming. |
9 (RLIN) |
38801 |
|
Topical term or geographic name entry element |
Computer Science Logic and Foundations of Programming. |
9 (RLIN) |
38802 |
|
Topical term or geographic name entry element |
Computer science. |
9 (RLIN) |
38803 |
|
Topical term or geographic name entry element |
Formal Languages and Automata Theory. |
9 (RLIN) |
38804 |
|
Topical term or geographic name entry element |
Machine theory. |
9 (RLIN) |
38805 |
|
Topical term or geographic name entry element |
Programming Techniques. |
9 (RLIN) |
38806 |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Madeira, Alexandre. |
9 (RLIN) |
38807 |
|
Personal name |
Martins, Manuel A. |
9 (RLIN) |
38808 |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-031-43345-0">https://doi.org/10.1007/978-3-031-43345-0</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
e-Book |
Source of classification or shelving scheme |
Dewey Decimal Classification |