Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science - Bernhard Mvller - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540574996 - 1993年11月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bernhard Mvller
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science 1993 edition

価格
¥ 8.591
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月1日 - 年10月13日
Bernhard Mvller の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications.

375 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年11月29日
ISBN13 9783540574996
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 375
寸法 155 × 233 × 20 mm   ·   548 g
言語 ドイツ語  
編集者 Moeller, Bernhard
編集者 Partsch, Helmut
編集者 Schuman, Steve

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

Bernhard Mvllerのすべてを見る