>> Amazon.co.jp
このページのQRコード

Higher order logic and hardware verification

種類:
図書
責任表示:
T. Melham
出版情報:
Cambridge : Cambridge University Press, 1993
著者名:
Melham, T. F. (Tom F.) <DA07893673>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 31 <BA01121831>
ISBN:
9780521417181 [052141718X]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Melham, T. F. (Tom &hellip;

Springer-Verlag
7 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
2 図書 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, …

Advanced Research Working Conference on Correct Hardware Design Methodologies, Margarita, Tiziana, Melham, T. F. (Tom &hellip;

Springer
8 図書 Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Müller-Olm, Markus

Springer
3 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service)

Springer-Verlag
9 図書 The logic of computer arithmetic

Flores, Ivan

Prentice-Hall
4 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Melham, Thomas F., Camilleri, Juanito., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Logic and algebraic methods

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
5 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser
11 図書 Semantics and logics of computation

Pitts, A. M, Dybjer, Peter

Cambridge University Press
6 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
12 図書 MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

ZHONGWAN, LU

WORLD SCIENTIFIC