Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Softwar...

詳細記述

保存先:
書誌詳細
その他の著者: Kupferman, Orna (編集者), Sobocinski, Pawel (編集者)
フォーマット: 電子媒体 図書の章
言語:英語
出版事項: Cham Springer Nature 2023
シリーズ:Lecture Notes in Computer Science
主題:
オンライン・アクセス:DOAB: download the publication
DOAB: description of the publication
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

インターネット

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

予約・返却請求 3rd Floor Main Library
請求記号: A1234.567
所蔵 1 利用可