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
বিষয়গুলি: