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)

  • ウェブストア価格 ¥13,092(本体¥11,902)
  • Chapman & Hall/CRC(2020/06発売)
  • ポイント 595pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥45,830(本体¥41,664)
  • Chapman & Hall/CRC(2016/04発売)
  • ポイント 2,080pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering) (2014)  Paperback

Albert, Elvira (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 545pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
FM 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer S
  • 洋書
  • ポイントキャンペーン

FM 2006: Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer S  Paperback,  言語:ENG

Misra, Jayadev (EDT)/ Nipkow, Tobias (EDT)/ Sekerinski, Emil (EDT)

  • ウェブストア価格 ¥24,004(本体¥21,822)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 1,090pt
  • 海外取次在庫
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Sekerinski, Emil (EDT)/ Ribeiro, Leila (EDT)

  • ウェブストア価格 ¥9,818(本体¥8,926)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 445pt
  • 海外取次在庫