Petri Net Synthesis
商品資訊
系列名:Texts in Theoretical Computer Science. an Eatcs
ISBN13:9783662479667
出版社:Springer Verlag
作者:Eric Badouel; Luca Bernardinello; Philippe Darondeau
出版日:2015/11/11
裝訂/頁數:精裝/340頁
規格:23.5cm*15.5cm (高/寬)
商品簡介
作者簡介
Dr. Eric Badouel is a researcher at IRISA/INRIA Rennes–Bretagne Atlantique in Rennes. His research interests include concurrency and Petri nets.
Prof. Luca Bernardinello is a professor in the Dipartimento di Informatica, Sistemistica e Comunicazione of the Universita degli studi di Milano-Bicocca. His research interests include concurrency and Petri nets.
Dr. Philippe Darondeau was a researcher at IRISA/INRIA Rennes–Bretagne Atlantique in Rennes. His research interests included concurrency and Petri nets. Dr. Darondeau passed away in 2013, during the final writing of the book.
主題書展
更多書展購物須知
外文書商品之書封,為出版社提供之樣本。實際出貨商品,以出版社所提供之現有版本為主。部份書籍,因出版社供應狀況特殊,匯率將依實際狀況做調整。
無庫存之商品,在您完成訂單程序之後,將以空運的方式為你下單調貨。為了縮短等待的時間,建議您將外文書與其他商品分開下單,以獲得最快的取貨速度,平均調貨時間為1~2個月。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

