博客來-作者-Danvy

熱門搜尋

分類(單選)	所有商品(5) 圖書(5) 顯示所有篩選
配送方式(可複選)	可海外宅配(5) 可港澳店取(3) 可新加坡店取(3) 可菲律賓店取(3)
其他(可複選)

搜尋結果共 5 筆, 頁數 1 / 1

呈現:

列表
小圖

		Formal Modeling: Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birth 外文書 , Agha Gul (EDT)/ Danvy Jose (EDT) Olivier (EDT)/ Meseguer , Ingram , 出版日期: 2011-10-13 優惠價: 3299 元 This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday,... more	放入購物車下次再買
		Automatic Program Development: A Tribute to Robert Paige 外文書 , Alberto (EDT) Danvy Fritz (EDT)/ Pettorossi Harry (EDT)/ Henglein Olivier (EDT)/ Mairson , Ingram , 出版日期: 2008-01-08 優惠價: 8000 元 programs and their algorithmic derivation from formal specifications. His colleagues, who include Olivier Danvy of the...... more	放入購物車下次再買
		Programs As Data Objects: Second Symposium, Pado 2001, Arhus, Denmark, May 21-23, 2001: Proceedings 外文書 , Andrzej (EDT) Danvy Olivier (EDT)/ Filinski , Ingram , 出版日期: 2001-04-25 優惠價: 4950 元 This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, ... more	放入購物車下次再買
		Automatic Program Development: A Tribute to Robert Paige 外文書 , Danvy Fritz Harry Henglein Mairson Olivier , Ingram , 出版日期: 2010-10-19 優惠價: 6599 元 programs and their algorithmic derivation from formal specifications. His colleagues, who include Olivier Danvy of the...... more	放入購物車下次再買
		Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers 外文書 , Danvy Gluck Olivier Peter Robert Thiemann , Ingram , 出版日期: 1996-08-14 優惠價: 3299 元	放入購物車下次再買

全選

放入購物車

搜尋推薦