Models, algebras and logic of engineering software | 東京工業大学附属図書館資料名データベース

Blank Cover Image

Models, algebras and logic of engineering software

責任表示:: edited by Manfred Broy and Markus Pizka
シリーズ名:: NATO science series. Series 3, Computer and systems sciences
シリーズ巻号:: 191
出版情報:: Amsterdam: IOS Press, 2003
ISSN:: 13876694
ISBN:: 9781586033422 [1586033425]
請求記号:: N17060/191
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00013225
シリーズＩＤ:	PA00000026
会議名:	NATO Advanced Study Insitute on Models, Algebras and Logic of Engineering Software
回次:	2002
会議開催地:	Marktoberdorf, Germany
会議開催年:	2002.07.30-2002.08.11

類似資料:

1 国際会議録 Logic, algebra, and computation Springer-Verlag	7 国際会議録 5th International Conference on Distributed Predictor Models in Software Engineering 2009 (PROMISE 2009), Vancouver, B.C., Canada, 18-19 May 2009 ACM Press
2 国際会議録 Logic and algebra of specification Springr-Verlag	8 国際会議録 5th International Workshop on Scenarios and State Machines : Models, Algorithms and Tools : SCESM '06 : held at the 28th International Conference on Software … Association for Computing Machinery
3 国際会議録 Logics and models of concurrent systems Springer-Verlag	9 国際会議録 IASTED International Conference on Modelling, Identification and Control (MIC 2016) and IASTED International Conference on Parallel and Distributed Computing … IASTED
4 国際会議録 Algebraic model theory Kluwer Academic Publishers	10 国際会議録 1st International Workshop on Global Integrated Model Management, GaMMa'06 : held at the 28th International Conference on Software Engineering, May 20-28, 2006, … Association for Computing Machinery
5 国際会議録 Workshop on Models in Software Engineering 2008 (MiSE 08) : held at ICSE 2008 : Leipzig, Germany, 10-11 May 2008 Association for Computing Machinery	11 国際会議録 Engineering theories of software construction IOS Press
6 国際会議録 4th International Workshop on Predictor Models in Software Engineering 2008 (PROMISE 2008) : held at ICSE 2008 : Leipzig, Germany, 12-13 May 2008 Association for Computing Machinery	12 国際会議録 Engineering theories of software intensive systems Springer

1

2

3

4

5

6

7

8

9

10

11

12