Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
書誌情報:Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors
[Singapore] : Springer , c2021
xii, 346 p. : ill. ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1: hardback0太秦南館:５階閲覧室
  • 007.04
  • I48
  •  
1040446009004655 利用可
図書（帯出可） 

選択行を：  

書誌詳細
刊年2021
形態xii, 346 p. : ill. ; 25 cm
注記Includes bibliographical references
出版国シンガポール
標題言語英語
本文言語英語
著者情報Ait-Ameur, Yamine
Nakajima, Shin
Méry, Dominique
分類LCC:QA76.9.F67
DC23:004.01/51
ISBN9789811550539(: hardback)
件名LCSH:Formalmethods(Computerscience)
NCIDBD0237772X

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ