Formal Methods in Software and Systems Modeling | 東京工業大学附属図書館蔵書検索

>> Google Books

Formal Methods in Software and Systems Modeling / David Hutchison, Hartmut Ehrig, Takeo Kanade, Hans-J?rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin / Heidelberg, 2005

著者名:

Hutchison, David

Kreowski, Hans-J?rg

Orejas, Fernando

Rozenberg, Grzegorz

Taentzer, Gabriele

さらに 3 件

ISBN:

9783540249368 [3540249362]
9783540318477 [354031847X]

書誌ID:

OB00352830

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	ESSAYS DEDICATED TO HARTMUT EHRIG ON THE OCCASION OF HIS 60TH BIRTHDAY
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods in Software and Systems Modeling Hutchison, David, Ehrig, Hartmut, Kanade, Takeo, Kreowski, Hans-Jörg, Montanari, Ugo, Orejas, Fernando, Rozenberg, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	7 電子ブック Graph Transformations Hutchison, David, Kanade, Takeo, Engels, Gregor, Kreowski, Hans-Jörg, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Graph Transformations Ehrig, Hartmut, Heckel, Reiko, Kanade, Takeo, Rozenberg, Grzegorz, Taentzer, Gabriele Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Fundamentals of Algebraic Graph Transformation Brauer, Wilfried, Ehrig, Hartmut, Rozenberg, Grzegorz, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Graph Transformations Ehrig, Hartmut, Heckel, Reiko, Kanade, Takeo, Rozenberg, Grzegorz, Taentzer, Gabriele SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Theory and Application of Graph Transformations Hartmut Ehrig, Ehrig, Hartmut, Engels, Gregor, Kreowski, Hans-Jörg, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Graph Transformations Corradini, Andrea, Ehrig, Hartmut, Kanade, Takeo, Montanari, Ugo, Ribeiro, Leila, Rozenberg, Grzegorz Springer eBooks Computer Science, Springer Berlin Heidelberg	10 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, … Springer
5 電子ブック Graph Transformations Corradini, Andrea, Ehrig, Hartmut, Kanade, Takeo, Montanari, Ugo, Ribeiro, Leila, Rozenberg, Grzegorz SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings (: gw ; : us) Ehrig, Hartmut, International Workshop on Graph Grammars and Their Applications to Computer Science, Kreowski, H.-J. … Springer-Verlag
6 図書 Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Kreowski, H.-J. (Hans-Jörg) Springer	12 図書 Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings International Conference on Graph Transformation, Corradini, Andrea, 1960-, Ehrig, Hartmut, Montanari, Ugo, Ribeiro, … Springer

1

2

3

4

5

6

7

8

9

10

11

12