検索結果 1 件
紙図書
全国の図書館
- 目次・記事Formal object-oriente......esign A theory and practice of pr......am development Formal methods in hum......efinement in Z and object-Z : foundations and advanced appli......trial-strength formal methods in pra......The B language and method : a guide to practical formal development On...... specification and design Proof i......: case studies Formal methods and object technology Systems, models and measures
- 関連情報Formal object-oriente......esign A theory and practice of pr......am development Formal methods in hum......efinement in Z and object-Z : foundations and advanced appli......trial-strength formal methods in pra......The B language and method : a guide to practical formal development On...... specification and design Proof i......: case studies Formal methods and object technology Systems, models and measures
検索結果は以上です。