Formal development of reactive systems case study production cell

מידע ביבליוגרפי
מחברים אחרים: Lewerentz, Claus, Lindner, Thomas 1966-
פורמט: ספר
שפה:English
יצא לאור: Berlin Springer-Verlag c1995.
סדרה:Lecture notes in computer science 891
נושאים: