KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 金沢大学附属図書館 OPAC plus

>> Google Books

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

フォーマット:

電子ブック

責任表示:

Broy ; Broy, M. ; Jähnichen, Stefan

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1995

著者名:

ISBN:

9783540605898 [3540605894]

9783540478027 [3540478027]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	KORSO
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234370
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Engineering theories of software construction Hoare, Tony, Broy, M., 1949-, Steinbrüggen, Ralf IOS Press	7 電子ブック Engineering Theories of Software Intensive Systems NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Broy, M., Broy, Manfred, … Springer Netherlands
2 電子ブック Compiler Construction CC '99, Jähnichen, Stefan Springer Berlin Heidelberg	8 電子ブック Software Reuse: Methods, Techniques, and Tools International Conference on Software Reuse, Gacek, Cristina Springer Berlin Heidelberg
3 電子ブック Methods of Programming Broy, Broy, M., Wirsing, Martin Springer Berlin Heidelberg	9 電子ブック Software Reuse: Methods, Techniques, and Tools International Conference on Software Reuse, Bosch, Jan, Krueger, Charles C. Springer Berlin / Heidelberg
4 電子ブック Numerical Methods and Software Tools in Industrial Mathematics Dæhlen, Morten; Tveito, Aslak, Daehlem, M. Birkhäuser Boston	10 電子ブック Advances in Software Tools for Scientific Computing Griebel, M.; Keyes, D. E.; Nieminen, R. M., Bruaset, Are M., Quak, Ewald Springer Berlin Heidelberg
5 電子ブック Requirements Targeting Software and Systems Engineering International Workshop RTSE '97, Broy, M., Rumpe, Bernhard Springer Berlin Heidelberg	11 図書 Software reliability methods Peled, Doron, 1962-, Clarke, E. M. Springer
6 電子ブック Formal Methods in Programming and Their Applications Bjørner, Bjørner, Dines, Broy, M., Pottosin, I. V. Springer Berlin Heidelberg	12 電子ブック Formal Systems Specification Broy, Broy, M., Merz, Stephan, Spies, Katharina Springer Berlin Heidelberg