Bicarregui, Juan C. (Juan Carlos)

検索結果2件中 1-2 を表示

  • Proof in VDM : case studies

    J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]

    Springer-Verlag c1998 Formal approaches to computing and information technology (FACIT)

    : pbk

    所蔵館11館

  • Proof in VDM : a practitioner's guide

    by Juan C. Bicarregui ... [et al.]

    Springer-Verlag c1994 Formal approaches to computing and information technology (FACIT)

    : us , : gw

    所蔵館17館

ページトップへ