Formal Methods for Software Engineering
Languages, Methods, Application Domains
あらすじ
この書籍について
- 言語 English
- 商品番号：9783030388003
- 発売日 2022年6月22日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB3
- サイズ 29.22 MB
- ダウンロードオプション:EPUB3 (Adobe DRM)
Languages, Methods, Application Domains
楽天Koboなら読書がもっと楽しくなります。
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
19,447 円
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
9,116 円
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
6,076 円
Ioannis Stamelos, Antonio Cerone, Sara Fernandes, Panagiotis Katsaros, Alexeis Garcia-Perez, Siraj Ahmed Shaikh, Donatella Persico
6,076 円
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
6,076 円
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
6,076 円
最初のレビュアーになりませんか？
