Verification of Business Rules Programs - Bruno Berstel-Da Silva - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783662514078 - 2016年8月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bruno Berstel-Da Silva
Verification of Business Rules Programs Softcover reprint of the original 1st ed. 2014 edition

価格
¥ 10.831
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月17日 - 年9月2日
Bruno Berstel-Da Silva の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.

253 pages, 16 black & white illustrations, 2 colour illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2016年8月17日
ISBN13 9783662514078
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 236
寸法 155 × 235 × 14 mm   ·   362 g
言語 ドイツ語  

同じ出版社からのその他の記事

Bruno Berstel-Da Silvaのすべてを見る ( 例： Hardcover Book および Paperback Book )