Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach , Antonio Cerone , Bernd-Holger Schlingloff
まだ評価がありません
Jun 23, 2022 · 英語 · ハードカバー (552 ページ)
棚に追加

この本を評価する


ブックジャーナルをエクスポート

レビュー

レビューはまだありません

この本の最初のレビューをして、あなたの考えを共有しましょう

レビューするためにサインイン
棚に追加

この本を評価する


ブックジャーナルをエクスポート