その他の書誌記述: Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.

Summary goes here

保存先:

書誌詳細
フォーマット:	図書
言語:	英語
主題:	Computer programming. Formal methods (Computer science) Programmation (Informatique) Méthodes formelles (Informatique) computer programming.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	Summary goes here
記述事項:	General Notes
物理的記述:	1 online resource (ix, 433 pages) :illustrations
ISBN:	9783540480563 3540480560