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, D. Sannella
Titel: Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
Buch / Sammlungs-Titel: Proc. TAPSOFT´91
Seite(n): 313 – 336
Serie / Reihe: Lecture Notes in Computer Science
Ausgabe: 494
Erscheinungsjahr: 1991
Verleger: Springer-Verlag, D-69121 Heidelberg, Germany
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