Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-toler...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , , |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | אנגלית |
| יצא לאור: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| מהדורה: | 1st ed. 2023. |
| סדרה: | Lecture Notes in Computer Science,
14165 |
| נושאים: | |
| גישה מקוונת: | https://doi.org/10.1007/978-3-031-40132-9 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: