>> 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

Tockey, Steve

Wiley

Pfleeger, Shari Lawrence

Prentice Hall

Singpurwalla, Nozer D., Wilson, Simon P.

Springer

9 電子ジャーナル Automated Software Engineering

Hybrid

Lamsweerde, A. van (Axel), 1947-

John Wiley

Sandford, David M.

Springer Berlin Heidelberg

5 電子ブック Automated Theorem Proving

Newborn, Monty

Springer New York

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

Springer Berlin Heidelberg

Loveland

Springer Berlin Heidelberg

Kumar, Kropf, Thomas, Kumar, Ramayya

Springer Berlin Heidelberg