The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
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 Technolo…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08166-8
- Collation
- xii, 521p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 The
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- xiv, 347p.: ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Fun
Search Result
Found 2 from your keywords: Author : Johnsen, Einar Broch
Query took 0.00083 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography