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

類似資料:

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