|
|
|
FB 3
|
|
|
AG BKB >
Publikationen >
Suche >
|
Deutsch
English
|
|
Suche nach Veröffentlichungen - Detailansicht
|
|
Art der Veröffentlichung: |
Artikel in Sammlung |
Autor: |
B. Krieg-Brückner |
Herausgeber: |
Baader |
Titel: |
PROgram development by SPECification and TRAnsformation |
Buch / Sammlungs-Titel: |
Werkzeuge der Software-Verifikation |
Erscheinungsjahr: |
1990 |
Status: |
Reviewed |
Letzte Aktualisierung: |
28. 12. 2002 |
|
|
Zurück zum Suchergebnis |
|
|
|
Autor: Automatisch generierte Seite
|
|
|
AG BKB |
Zuletzt geändert am: 9. Mai 2023 |
|
|
|