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

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Sammlung
Autor: Serge Autexier, Dominik Dietrich
Herausgeber: Till Mossakowski, Hans-Jörg Kreowski
Titel: Declarative Development Patterns as a Lightweight-Formalism for Design Patterns for Formal Specifications
Buch / Sammlungs-Titel: 20th International Workshop on Algebraic Development Technique, 1-4 July, 2010
Erscheinungsjahr: 2010
Status: Reviewed
Letzte Aktualisierung: 19. 01. 2011

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