Cover von The Logic of Software opens in new tab

The Logic of Software

A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 13360
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 13360 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Search for this author
Year: 2022
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Subject type: Search for this subject type Seminar2
ISBN: 978-3-03-108165-1
ISBN (2nd): 3-03-108165-X
Description: XII, 519 S.
Series: Lecture notes in computer science : Festschrift; 13360
Participating parties: Search for this character Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch; Hähnle, Reiner
Media group: MONOGRAPHIE