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

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Buch
Autor: B. Krieg-Brückner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer
Titel: UniForM Workbench, Universelle Entwicklungsumgebung für Formale Methoden; Schlussbericht
Band: 9
Serie / Reihe: Monographs of the Bremen Institute of Safe Systems (BISS)
Erscheinungsjahr: 1999
Verleger: Shaker Verlag, Postfach 1290, 52013 Aachen
ISBN: 3-8265-3656-8
Status: Reviewed
Letzte Aktualisierung: 01. 11. 2004

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