Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 438pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Lecture
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Lecture  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 398pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥18,186(本体¥16,533)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 330pt
  • 海外からお取り寄せ(通常6~9週間)
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉
  • 洋書
  • ポイントキャンペーン

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉  Paperback

Graf, Susanne(EDT)/ Pettersson, Paul(EDT)/ Steffen, Bernhard(EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer(2024/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 298pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 298pt
  • 海外取次在庫
The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)
  • 洋書
  • ポイントキャンペーン

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Hinchey, Mike (EDT)/ Steffen, Bernhard (EDT)

  • Springer International Publishing AG(2024/10発売)
  • ご注文いただけません
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)  Paperback

Olderog, Ernst-Rüdiger (EDT)/ Steffen, Bernhard (EDT)/ Yi, Wang (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 278pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 398pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 278pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫