Animation of object-Z spezifications with a set-oriented prototyping language

Bibliographic Details
Main Author: Hasselbring, Wilhelm (Author)
Format: Book
Language:English
Published: Dortmund : Dekanat Informatik, Univ. 1994
Series:Universit├Ąt Dortmund. Forschungsberichte des Fachbereichs Informatik der Universit├Ąt Dortmund 523
Physical Description:20 S 30 cm
Subjects:
QR Code: Show QR Code