博客來-作者-Leucker

熱門搜尋

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

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

呈現:

列表
小圖

		Mathematics of Discrete Structures for Computer Science 外文書 , Gordon J./ Leucker Martin (FRW) Pace , Ingram , 出版日期: 2012-09-09 優惠價: 5099 元 Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relatio... more	放入購物車下次再買
		Runtime Verification: 8th International Workshop, Rv 2008 Budapest, Hungary, March 30, 2005 Selected Papers 外文書 , Leucker Martin (EDT) , Ingram , 出版日期: 2008-10-23 優惠價: 3299 元 This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on ... more	放入購物車下次再買
		Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMI 外文書 , Boudewijn (EDT)/ Leucker Brim Jaco Van De (EDT) Lubos (EDT)/ Haverkort Martin (EDT)/ Pol , Ingram , 出版日期: 2007-03-01 優惠價: 5450 元 These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Indust... more	放入購物車下次再買
		Model-based Testing of Reactive Systems 外文書 , Alexander (EDT) Bengt (EDT)/ Katoen Broy Joost-Pieter (EDT)/ Leucker Manfred (EDT)/ Jonsson Martin (EDT)/ Pretschner , Ingram , 出版日期: 2005-06-27 優惠價: 3299 元 Testing is the primary hardware and software verification technique used by industry today. Usually,... more	放入購物車下次再買
		Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings 外文書 , Chechik Joost-Pieter Katoen Leucker Marsha Martin , Ingram , 出版日期: 2023-03-03 優惠價: 6599 元 This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... more	放入購物車下次再買
		Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday 外文書 , Bartocci Ezio Falcone Leucker Martin Yliès , Ingram , 出版日期: 2021-09-28 優惠價: 3599 元 This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 20... more	放入購物車下次再買
		Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings 外文書 , Christian Colombo Leucker Martin , Ingram , 出版日期: 2018-11-08 優惠價: 5099 元 This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verif... more	放入購物車下次再買
		Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings 外文書 , Camilo Frank D. Leucker Martin Rueda Valencia , Ingram , 出版日期: 2015-12-25 優惠價: 3299 元	放入購物車下次再買
		Theoretical Aspects of Computing--ICTAC 2009 外文書 , Charles Carroll Leucker Martin Morgan , Ingram , 出版日期: 2009-07-29 優惠價: 3299 元	放入購物車下次再買
		Cardiovascular Disease in the Elderly 外文書 , Gary Gerstenblith Leucker Thorsten M. , Ingram , 出版日期: 2024-01-03 優惠價: 6599 元 The second edition of this book updates, reviews, and discusses the latest findings on the pathophys... more	可訂購時通知我
		Cardiovascular Disease in the Elderly 外文書 , Gary Gerstenblith Leucker Thorsten M. , Ingram , 出版日期: 2023-01-02 優惠價: 9599 元 The second edition of this book updates, reviews, and discusses the latest findings on the pathophys... more	可訂購時通知我

全選

放入購物車

搜尋推薦