縮小範圍

商品類型

原文書（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 裝訂：平裝

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

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

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

定價：6050 元，優惠價：79 4780

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

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 頁

熱搜：

Sad Trombone

數學放大鏡

漫畫少年學墨菲定律

佛法是科學的終極典範

民主與兩岸動向

老公怎麼還不去死

巨人的背影

永續發展相關規範與實務

新基本小六法