Formal verification of a doubly linked list implementation: [a case study using the JIVE System]
Hagen: Fernuniv., Fachbereich Informatik, 2000
Sammelwerk, Gedruckte Ressource
- 104 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal verification of a doubly linked list implementation: [a case study using the JIVE System]
|
---|---|
Verantwortlichkeitsangabe: | Marcel Labeth .. |
Autor/in / Beteiligte Person: | Labeth, Marcel [Bearb.] |
Verwandtes Werk: | |
Veröffentlichung: | Hagen: Fernuniv., Fachbereich Informatik, 2000 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 104 S. |
Schlagwort: |
|
Sonstiges: |
|