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, J. Liu, H. Shi, B. Wolff
Herausgeber: B. Krieg-Brückner
Titel: Towards Correct, Efficient and Reusable Transformational Developments (extended version)
Buch / Sammlungs-Titel: Programmentwicklung durch Spezifikation und Transformation — Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software)
Serie / Reihe: Informatik Bericht. ISSN 0722-8996
Ausgabe: 1/94
Erscheinungsjahr: 1994
Verleger: Universität Bremen
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