ENGLISH

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

By Wolfgang Ahrendt

Book information

ISBN
303108165X, 9783031081651
Language
english
Format
PDF
Filesize
26 MB (27027421 bytes)
Pages
\531
Time added
2024-04-02 14:23:43

Similar books