Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details
 
Publication type: Conference Proceedings
Editor: Berthold Hoffmann, Bernd Krieg-Brückner
Title: Program Development by Specification and Transformation
Volume: 680
Series: Lecture Notes in Computer Science
Year published: 1993
Publisher: Springer-Verlag, D-69121 Heidelberg, Germany
ISBN: 978-3-540-56733-2
Internet: http://link.springer.com/book/10.1007/3-540-56733-X
Status: Reviewed
Last updated: 01. 12. 2016

 Back to result list
  
   
Author: Automatically generated page 		 
  Group BKB 
Last updated: May 9, 2023   impressum