登入選單

返回Google圖書搜尋

Formal development of concurrent systems using algebraic high level nets and transformations

Leila RibeiroHartmut EhrigJulia Padberg

出版	Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
URL	http://books.google.com.hk/books?id=IX7HtgAACAAJ&hl=&source=gbs_api