Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Seiten
2007
|
1., Aufl.
Shaker (Verlag)
978-3-8322-6035-4 (ISBN)
Shaker (Verlag)
978-3-8322-6035-4 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
- 2007/1
| Reihe/Serie | IAS-Forschungsberichte ; 2007/1 |
|---|---|
| Sprache | deutsch |
| Maße | 148 x 210 mm |
| Gewicht | 290 g |
| Einbandart | Paperback |
| Themenwelt | Technik ► Elektrotechnik / Energietechnik |
| Schlagworte | Automatisierungssysteme • Formale Spezifikation • Formale Verifikation • HC/Technik/Elektronik, Elektrotechnik, Nachrichtentechnik • Sicherheit |
| ISBN-10 | 3-8322-6035-8 / 3832260358 |
| ISBN-13 | 978-3-8322-6035-4 / 9783832260354 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Kolbenmaschinen - Strömungsmaschinen - Kraftwerke
Buch | Hardcover (2023)
Hanser (Verlag)
49,99 €
