Filtrera

Ämne
  • (4)
  • (2)
Utgivningsår
  • (2)
  • (2)
Pris
  • (1)

Kazuhiro Ogata - Böcker

Visar alla böcker av Kazuhiro Ogata. Handla med fri frakt och snabb leverans!

Sortering:

  1. Rewriting Logic and Its Applications

    av Kazuhiro Ogata, Narciso Mart-Oliet

    Häftad, Engelska, 2024-08-02
    784
    Köp
    Skickas från oss inom 7-10 vardagar.
    Rewriting Logic and Its Applications

    This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 67, 2024. The 11 full papers inclu...

    Läs mer »

  2. Formal Methods and Software Engineering

    av Kazuhiro Ogata, Mark Lawford, Shaoying Liu

    Häftad, Engelska, 2016-10-15
    327
    Köp
    Skickas från oss inom 3-6 vardagar.
    Formal Methods and Software Engineering

    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were care...

    Läs mer »

  3. Specification, Algebra, and Software

    av Shusaku Iida, Jos Meseguer, Kazuhiro Ogata

    Häftad, Engelska, 2014-02-25
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Specification, Algebra, and Software

    This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of...

    Läs mer »

  4. Formal Methods and Software Engineering

    av Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

    Häftad, Engelska, 2024-11-29
    888
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 5...

    Läs mer »