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,438(本体¥8,580)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 85pt
  • 海外取次在庫
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,585(本体¥11,441)
  • Chapman & Hall/CRC(2020/06発売)
  • ポイント 114pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 104pt
  • オンデマンド(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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥44,056(本体¥40,051)
  • Chapman & Hall/CRC(2016/04発売)
  • ポイント 400pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 104pt
  • オンデマンド(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)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 209pt
  • 海外取次在庫