Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - 書籍 - Morgan & Claypool Publishers - 9781681736877 - 2020年1月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Nestor Catano Collazos
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン

お客様の声：

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

他の形態でも入手可能：

Formal methods offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms used are EVENT B and refinement calculus.

99 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2020年1月27日
ISBN13 9781681736877
出版社 Morgan & Claypool Publishers
ページ数 99
寸法 150 × 220 × 10 mm   ·   185 g
言語 英語  
シリーズ編集者 Baresi, Luciano

Nestor Catano Collazosのすべてを見る ( 例： Paperback Book )