Automated theorem proving in software engineering

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Johann M. Schumann ; foreword by Donald Loveland

言語:

英語

出版情報:

Berlin : Springer, c2001

形態:

xiv, 228 p. : ill. ; 24 cm

著者名:

書誌ID:

BA52577580

ISBN:

9783540679899 [3540679898]

子書誌情報

所蔵情報

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

詳細

主題:	Automatic theorem proving; Software engineering
分類・件名:	LCSH : Software engineering LCSH : Automatic theorem proving
注記:	Includes bibliographical references (p. [203]-220) and index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Automated theorem proving Bledsoe, W.W, Loveland, D.W American Mathematical Society	7 電子ブック Using Sophisticated Models in Resolution Theorem Proving Sandford, David M. Springer Berlin Heidelberg
2 図書 Software engineering : theory and practice Pfleeger, Shari Lawrence Prentice Hall	8 電子ブック Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX '96, Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. Springer Berlin Heidelberg
3 図書 Statistical methods in software engineering : reliability and risk Singpurwalla, Nozer D., Wilson, Simon P. Springer	9 電子ブック Proceedings 17th IEEE International Conference on Automated Software Engineering,
4 電子ブック 6th Conference on Automated Deduction Loveland Springer Berlin Heidelberg	10 電子ブック Proceedings of the 18th IEEE International Conference on Automated Software Engineering Association for Computing Machinery-Digital Library. IEEE Press
5 図書 Specification and development of interactive systems : focus on streams,interfaces, and refinement Broy, M., 1949-, Stølen, Ketil Springer	11 電子ブック Proceedings. 19th International Conference on Automated Software Engineering, 2004
6 電子ジャーナル Automated Software Engineering Springer US	12 電子ブック 2008 23rd IEEE/ACM International Conference on Automated Software Engineering