From Action Systems to Distributed Systems : The Refinement Approach
  • 洋書

From Action Systems to Distributed Systems : The Refinement Approach  Paperback,  言語:ENG

Petre, Luigia (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Chapman & Hall/CRC(2020/06発売)
  • ポイント 112pt
  • 海外取次在庫
From Action Systems to Distributed Systems : The Refinement Approach
  • 洋書

From Action Systems to Distributed Systems : The Refinement Approach  Hardcover,  言語:ENG

Petre, Luigia (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥43,464(本体¥39,513)
  • Chapman & Hall/CRC(2016/04発売)
  • ポイント 395pt
  • 海外からお取り寄せ(通常6~9週間)
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
  • 洋書

Dependability and Computer Engineering: Concepts for Software-Intensive Systems  言語:ENG

Petre, Luigia (EDT)/ Sere, Kaisa (EDT)/ Troubitsyna, Elena (EDT)

  • Engineering Science Reference(2011/07発売)
  • ご注文いただけません
Dependability and Computer Engineering : Concepts for Software-Intensive Systems
  • 洋書

Dependability and Computer Engineering : Concepts for Software-Intensive Systems  Hardcover,  言語:ENG

Petre, Luigia (EDT)/ Sere, Kaisa (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥40,360(本体¥36,691)
  • Information Science Reference(2011/07発売)
  • ポイント 366pt
  • 海外取次在庫
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Johnsen, Einar Broch (EDT)/ Petre, Luigia (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 103pt
  • 海外取次在庫
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Petre, Luigia (EDT)/ Smith, Graeme (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。