Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)  Paperback

Martí-Oliet, Narciso (EDT)/ Ölveczky, Peter Csaba (EDT)/ Talcott, Carolyn (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 101pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

Braga, Christiano (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2015/01発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Ogata, Kazuhiro (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 119pt
  • 海外取次在庫
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書

Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Escobar, Santiago (EDT)/ Martí-Oliet, Narciso (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 101pt
  • 海外取次在庫