Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

著者

    • TAP (Conference) (16th : 2022 : Nantes, France)
    • Kovács, Laura
    • STAF (Federation of conferences) (2022 : Nantes, France)

書誌事項

Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Laura Kovács, Karl Meinke (eds.)

(Lecture notes in computer science, 13361)

Springer, c2022

  • : pbk

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliographical references and author index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ