Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
- Författare
- Anne E. Haxthausen
- (Edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer Nature Switzerland, Imprint: Springer | 2023 | Schweiz, Cham | 1 online resource (340 pages) |