Universität Bremen  
  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   impressum