Blank Cover Image

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering / Stefania Gnesi, Association for Computing Machinery-Digital Library.

資料種別:
電子ブック
出版情報:
ACM Digital Library Proceedings
New York NY : ACM, 2014
著者名:
ISBN:
9781450328531 [1450328539]
書誌ID:
OB00400609
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

1 電子ブック Proceedings of the Third FME Workshop on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE Press
7 電子ブック Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
2 電子ブック Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE
8 電子ブック Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association …

ACM Digital Library Proceedings, IEEE
3 電子ブック Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
9 電子ブック Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association …

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
4 電子ブック Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE Press
10 電子ブック Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
5 電子ブック Proceedings of the 6th Conference on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, IEEE
11 電子ブック Proceedings of the 18th International Software Product Line Conference - Volume 1

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
6 電子ブック Proceedings of the 6th Conference on Formal Methods in Software Engineering

Gnesi, Stefania, Association for Computing Machinery-Digital Library.

IEEE Electronic Library (IEL) Conference Proceedings, IEEE
12 電子ブック Proceedings of the 2nd international workshop on The role of abstraction in software engineering

Hazzan, Orit, Association for Computing Machinery-Digital Library.

ACM Digital Library Proceedings, ACM
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12