書名: INTRODUCTION TO FORMAL HARDWARE VERIFICATION 1999<SV>3-540-65445-3
作者: KROPF
ISBN: 9783540654452
出版社: Springer
書籍開數、尺寸: 24.1x16.3x2.3
頁數: 299
定價: 2913
售價: 2913
庫存: 已售完
LINE US!
此書為本公司代理,目前已售完,有需要可以向line客服詢問進口動向

付款方式: 超商取貨付款 line pay
信用卡 全支付
線上轉帳 Apple pay
物流方式: 超商取貨
宅配
門市自取

為您推薦

An Introduction to Formal Languages and Automata (6版)

An Introduction to Formal Languages and Automata (6版)

類似書籍推薦給您

原價: 980 售價: 960 現省: 20元
立即查看
An Introduction to Formal Logic 2003 (CAM.) 0-521-81033-7

An Introduction to Formal Logic 2003 (CAM.) 0-521-81033-7

類似書籍推薦給您

原價: 2578 售價: 2578 現省: 0元
立即查看
An Introduction to Practical Formal Methods Using Temporal Logic 2011 <JW> 978-0-470-02788-2

An Introduction to Practical Formal Methods Using Temporal Logic 2011 <JW> 978-0-470-02788-2

類似書籍推薦給您

原價: 3600 售價: 3600 現省: 0元
立即查看
INTRODUCTION TO THE FORMAK DESIGN OF REAL-TIME SYSTEMS 1999

INTRODUCTION TO THE FORMAK DESIGN OF REAL-TIME SYSTEMS 1999

類似書籍推薦給您

原價: 1960 售價: 1960 現省: 0元
立即查看
Introduction To One Health: An Interdisciplinary Approach To Planetary Health (1版)

Introduction To One Health: An Interdisciplinary Approach To Planetary Health (1版)

類似書籍推薦給您

【簡介】 Introduction to One Health: An Interdisciplinary Approach to Planetary Health offers an accessible, readable introduction to the burgeoning field of One Health. Provides a thorough introduction to the who, what, where, when, why, and how of One HealthPresents an overview of the One Health movement viewed through the perspective of different disciplinesEncompasses disease ecology, conservation, and veterinary and human medicineIncludes interviews from persons across disciplines important for the success of One HealthIncludes case studies in each chapter to demonstrate real-world applications

原價: 2200 售價: 2200 現省: 0元
立即查看