このページのリンク

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm
(Lecture notes in computer science ; 1283)

データ種別 図書
出版者 Berlin ; Heidelberg : Springer
出版年 c1997
本文言語 英語
大きさ xii, 250 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.76:C65:M85:1997
3540634061 002473734

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 Müller-Olm, Markus
件 名 LCSH:Compilers (Computer programs)
LCSH:Computer software -- Verification  全ての件名で検索
巻冊次 ISBN:3540634061 REFWLINK
ISBN 3540634061
NCID BA31799697 WCLINK
目次/あらすじ

 類似資料