Research Catalog
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
- Title
- Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert.
- Author
- Eckert, Hans
- Publication
- München : R. Oldenbourg, 1985, c1984.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 86-1375 | Offsite |
Details
- Additional Authors
- Gesellschaft für Mathematik und Datenverarbeitung
- Description
- 222 p. : ill.; 23 cm.
- Series Statement
- Berichte der Gesellschaft für Mathematik und Datenverarbeitung, 0533-9480 ; Nr. 144
- Subject
- Bibliography (note)
- Bibliography: p. 218-222.
- Call Number
- JSE 86-1375
- ISBN
- 3486289616 (pbk.)
- OCLC
- 14976592
- NYPG85-B75192
- Author
- Eckert, Hans.
- Title
- Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen / Hans Eckert.
- Imprint
- München : R. Oldenbourg, 1985, c1984.
- Series
- Berichte der Gesellschaft für Mathematik und Datenverarbeitung, 0533-9480 ; Nr. 144
- Bibliography
- Bibliography: p. 218-222.
- Added Author
- Gesellschaft für Mathematik und Datenverarbeitung.
- Research Call Number
- JSE 86-1375