Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

Detaylı Bibliyografya
Diğer Yazarlar: Bjorner, D. (Dines) 1937-, Broy, Mandred. 1949-, Pottosi, Igor V.
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Berlin Springer-Verlag c1993.
Seri Bilgileri:Lecture notes in computer science 735
Konular:
Electronic digital computers > Programming.