Mathematical Methods in System and Software Engineering | 東京工業大学附属図書館文献データベース

Blank Cover Image

Mathematical Methods in System and Software Engineering

著者名:: Broy M.
掲載資料名:: Mathematical methods in program development
シリーズ名:: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:: 158
発行年:: 1997
開始ページ:: 271
終了ページ:: 312
総ページ数:: 42
出版情報:: Berlin: Springer
ISSN:: 02581248
ISBN:: 9783540631958 [354063195X]
言語:: 英語
請求記号:: N11483/158
資料種別:: 国際会議録

詳細

TDL書誌ID:	ZA00016877
シリーズID:	PA00000019
会議名:	NATO Advanced Study Institute on Mathematical Methods in Program Development
回次:	1996
会議開催地:	Marktoberdorf, Germany
会議開催年:	1996.07.30-1996.08.11

類似資料:

1 国際会議録 Unifying Models and Engineering Theories of Composed Software Systems Broy, Manfred IOS Press	7 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems Broy M. Springer-Verlag
2 国際会議録 A Logical Basis for Modular Systems Engineering Broy M. IOS Press	8 国際会議録 From States to Histories: Relating State and History Views onto Systems Broy,M. IOS Press
3 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures Broy, Manfred Springer	9 国際会議録 Ingmath: Software for Engineering Mathematics Bausch Helmut Springer-Verlag
4 国際会議録 Algebraic Methods for Program Construction: The Project CIP Broy M. Springer-Verlag	10 国際会議録 Specification and Refinement of a Buffer of Length One Broy M. Springer
5 国際会議録 Towards a Design Methodology for Distributed Systems Broy M. Springer-Verlag	11 国際会議録 A FIXED POINT APPROACH TO APPLICATIVE MULTIPROGRAMMING Broy M. D. Reidel
6 国際会議録 Functional Specification of Time Sensitive Communicating Systems Broy M. Springer-Verlag	12 国際会議録 Program Construction by Transformations: A Family Tree of Sorting Programs BROY M. D. Reidel

1

2

3

4

5

6

7

8

9

10

11

12