Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: B. Krieg-Brückner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. Möncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell, G. Winterstein
Herausgeber: M.W. Rogers
Titel: PROgram development by SPECification and TRAnsformation
Buch / Sammlungs-Titel: Results and Achievements, Proc. ESPRIT Conf. '86
Seite(n): 301 – 312
Erscheinungsjahr: 1987
Verleger: North Holland
Status: Reviewed
Letzte Aktualisierung: 29. 12. 2002

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum