>> Google Books
QRコード(所蔵情報)

Automated theorem proving in software engineering

フォーマット:
図書
責任表示:
Johann M. Schumann ; foreword by Donald Loveland
言語:
英語
出版情報:
Berlin : Springer, c2001
形態:
xiv, 228 p. : ill. ; 24 cm
著者名:
書誌ID:
BA52577580
ISBN:
9783540679899 [3540679898]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

Sandford, David M.

Springer Berlin Heidelberg

Pfleeger, Shari Lawrence

Prentice Hall

TABLEAUX '96, Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M.

Springer Berlin Heidelberg

Singpurwalla, Nozer D., Wilson, Simon P.

Springer

Loveland

Springer Berlin Heidelberg

Association for Computing Machinery-Digital Library.

IEEE Press

6 電子ジャーナル Automated Software Engineering

Springer US