Electronic Resource

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

---

Penilaian

---

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.

---

Availability

Inventory Code	Barcode	Call Number	Location	Status
2008000203	EB0004525	005.437 The	Faculty of Economics (Database Springer E-Book)	Available

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

005.437 The

Publisher

Switzerland : Springer Cham., 2022

Collation

xii, 521p.: Ill.

Language

English

ISBN/ISSN

978-3-031-08166-8

Classification

005.437

Content Type

Ebook

Media Type

-

Carrier Type

online resource

Edition

1

Subject(s)

Software engineering

Specific Detail Info

-

Statement of Responsibility

RTS

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment