Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Details
- Autor(en) / Beteiligte
- Titel
- Real-time systems : formal specification and automatic verification
- Ort / Verlag
- New York : Cambridge Univ. Press
- Erscheinungsjahr
- 2008
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- Erscheinungsort s. Rücks. der Hauptt.-S.: "Publ. in the United States of America ... "
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9780521883337OCLC-Nummer: 254783868, 254783868Titel-ID: 990010035670106463
- Format
- XVI, 320 S. : graph. Darst.
- Systemstelle
- TWT
- Schlagworte
- Echtzeitsystem, Formale Spezifikationstechnik, Programmverifikation