縮小範圍

商品類型

原文書（4）

商品狀況

可訂購商品（4）

庫存狀況

無庫存（4）

商品定價

$800以上（4）

出版日期

2022~2023 （1）

2016年以前（3）

裝訂方式

平裝（3）

精裝（1）

作者

Christel Baier (EDT)/ Boudewijn R. Haverkort (EDT)/ Holger Hermanns (EDT)/ Joost-Pieter Katoen (EDT)/ Markus Siegle (EDT) （1）

Christel Baier, Joost-Pieter Katoen, Kim G. Larsen （1）

Manfred Broy (EDT)/ Bengt Jonsson (EDT)/ Joost-Pieter Katoen (EDT)/ Martin Leucker (EDT)/ Alexander Pretschner (EDT) （1）

；Marsha Chechik, Chechik,Joost-Pieter Katoen, Katoen,Martin Leucker, Leucker （1）

出版社/品牌

Springer-Verlag New York Inc （2）

Mit Pr （1）

Springer Nature B.V. （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共4筆商品，1/1頁

滿額折

Formal Methods：25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings

作者：Marsha Chechik; Chechik; Joost-Pieter Katoen; Katoen; Martin Leucker; Leucker 出版社：Springer Nature B.V. 出版日：2023/03/08 裝訂：平裝

無庫存，下單後進貨(到貨天數約45-60天)

定價：2199 元，優惠價：95 2089

79折

Principles of Model Checking

作者：Christel Baier; Joost-Pieter Katoen; Kim G. Larsen 出版社：Mit Pr 出版日：2008/04/25 裝訂：精裝

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. On

無庫存，下單後進貨(到貨天數約30-45天)

定價：4180 元，優惠價：79 3302

Model-based Testing of Reactive Systems—Advanced Lectures

作者：Manfred Broy (EDT); Bengt Jonsson (EDT); Joost-Pieter Katoen (EDT); Martin Leucker (EDT); Alexander Pretschner (EDT) 出版社：Springer-Verlag New York Inc 出版日：2005/08/15 裝訂：平裝

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been ma

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

無法訂購

Validation Of Stochastic Systems ― A Guide To Current Research

作者：Christel Baier (EDT); Boudewijn R. Haverkort (EDT); Holger Hermanns (EDT); Joost-Pieter Katoen (EDT); Markus Siegle (EDT) 出版社：Springer-Verlag New York Inc 出版日：2004/10/16 裝訂：平裝

It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project “Validation of Stochas

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

無法訂購

共4 筆
1 頁

熱搜：

先秦諸子戀愛大師班

永續發展相關規範與實務

眼淚博物館

健康建築導論

我的孩子是霸凌者

推薦電子書

2025故宮月曆

Maisy (降臨曆)

新基本小六法