Das Buch ist derzeit nicht auf Lager
Verification and validation of logic control algorithms by model checking
Autoren
Parameter
Buchkauf
Verification and validation of logic control algorithms by model checking, Xiying Weng
- Sprache
- Erscheinungsdatum
- 2003
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Verification and validation of logic control algorithms by model checking
- Sprache
- Englisch
- Autor*innen
- Xiying Weng
- Verlag
- Shaker
- Erscheinungsdatum
- 2003
- Einband
- Paperback
- ISBN10
- 3832222421
- ISBN13
- 9783832222420
- Reihe
- Berichte aus der Automatisierungstechnik
- Kategorie
- Informatik & Programmierung