Record Type: |
Electronic resources
: Monograph/item
|
Title/Author: |
Applicable formal methods for safe industrial productsedited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach. |
Reminder of title: |
essays dedicated to Jan Peleska on the occasion of his 65th birthday / |
other author: |
Peleska, Jan, |
Published: |
Cham :Springer Nature Switzerland :2023. |
Description: |
xiv, 334 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
Subject: |
Formal methods (Computer science) |
Online resource: |
https://doi.org/10.1007/978-3-031-40132-9 |
ISBN: |
9783031401329$q(electronic bk.) |