MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04756cam a2200565 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1334603776 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707094447.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr un|---aucuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
220706s2022 sz a o 011 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
EBLCP |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCQ |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031081668 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3031081668 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783031081651 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-031-08166-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000072326544 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000072392699 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1334603776 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.L63 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.101/5113 |
| Edition number |
23/eng/20220706 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 04 - TITLE STATEMENT |
|---|
| Title |
The logic of software : |
| Remainder of title |
a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / |
| Statement of responsibility, etc. |
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2022. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 521 pages) : |
| Other physical details |
illustrations (some color). |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
13360 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. . |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner's main research focus: formal methods, in particular applied to software verification. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed July 6, 2022). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic. |
| 9 (RLIN) |
6177 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique informatique. |
| 9 (RLIN) |
19533 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer logic |
| Source of heading or term |
fast |
| 9 (RLIN) |
6177 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften. |
| Source of term |
lcgft |
| 9 (RLIN) |
109631 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hähnle, Reiner, |
| Relator term |
honouree. |
| 9 (RLIN) |
25349 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ahrendt, Wolfgang, |
| Relator term |
editor. |
| -- |
https://orcid.org/0000-0002-5671-2555 |
| 9 (RLIN) |
59674 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Beckert, Bernhard, |
| Relator term |
editor. |
| -- |
https://orcid.org/0000-0002-9672-3291 |
| 9 (RLIN) |
25348 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bubel, Richard, |
| Relator term |
editor. |
| 9 (RLIN) |
59675 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Johnsen, Einar Broch, |
| Relator term |
editor. |
| -- |
https://orcid.org/0000-0001-5382-3949 |
| 9 (RLIN) |
22046 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
13360. |
| International Standard Serial Number |
1611-3349 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-031-08166-8">https://link.springer.com/10.1007/978-3-031-08166-8</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL7029180 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |