[M] Structures de données et méthodes formelles

著者: Marc Guyomard 出版者: Springer Paris (出版日: 2011)

• 書誌詳細

形態:	オンラインリソース
言語:	English
ページ数と大きさ:
件名:
分類:
識別子:	ISBN: 9782817801995 9782817802008 DOI: 10.1007/978-2-8178-0200-8
アブストラクト:
注記: