WebOPAC Local書誌詳細

ログイン

書誌詳細

東海大学蔵書検索

検索結果一覧へ戻る

	All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic Manuel Clavel ... [et al.]. -- Springer, 2007. -- (Lecture notes in computer science ; 4350). <BB00286958> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見るレビューを見る詳細情報を見る書誌URL：

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic Manuel Clavel ... [et al.]. -- Springer, 2007. -- (Lecture notes in computer science ; 4350). <BB00286958> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見るレビューを見る詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		12号館	開架室	549.92/L/4350	0010012841803	配架済		0件


No.	0001
巻号
所蔵館	12号館
配置場所	開架室
請求記号	549.92/L/4350
資料ID	0010012841803
状態	配架済
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]

出版・頒布事項

Berlin : Springer , c2007

形態事項

xxii, 794 p. : ill. ; 24 cm. + 1 CD-ROM

巻号情報

ISBN	9783540719403

書誌構造リンク

Lecture notes in computer science <TY10000225> 4350//a

注記

Includes bibliographical references and indexes

注記

HTTP:URL=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4350

注記

"Tutorial"--Cover

学情ID

BA82777228

本文言語コード

英語

著者標目リンク

*Clavel, Manuel, 1969- <>

著者標目リンク

SpringerLink (Online service) <>

著者標目リンク

Duran, Francisco <>

著者標目リンク

Eker, Steven <>

著者標目リンク

Lincoln, Patrick <>

著者標目リンク

Marti-Oliet, Narciso <>

著者標目リンク

Meseguer, José <AU00170537>

著者標目リンク

Talcott, Carolyn <>

ローカル分類標目

NDC:549.92

ローカル分類標目

NDC9:007

件名標目等

Computer logic

件名標目等

Rewriting systems (Computer science)

件名標目等

Human information processing

レコードID

BB00286958

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ