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

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

種類:
図書
責任表示:
Markus Müller-Olm
出版情報:
Berlin ; Heidelberg : Springer, c1997
著者名:
Müller-Olm, Markus <DA10821127>  
シリーズ名:
Lecture notes in computer science ; 1283 <BA00009279>
ISBN:
9783540634065 [3540634061]  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 図書 Modular specification and verification of object-oriented programs

Müller, Peter

Springer
7 図書 ALGEBRA FOR COMPUTER SCIENCE

GARDING, LARS, TAMBOUR, TORBJORN

SPRINGER
2 図書 Higher order logic and hardware verification

Melham, T. F. (Tom F.)

Cambridge University Press
8 図書 Process algebra with timing

Baeten, J.C.M., Middelburg, C.A.

Springer
3 図書 Compiler specification and verification

Polak, Wolfgang, 1950-

Springer-Verlag
9 図書 Control systems functions and programming approaches

Chorafas, Dimitris N., 1926-

Academic Press
4 電子ブック Compiler Specification and Verification

Polak, Wolfgang, SpringerLink (Online service)

Springer-Verlag
10 図書 Building tightly integrated software development environments : the IPSEN approach

Nagl, Manfred, 1944-

Springer
5 電子ブック Compiler Specification and Verification

Polak, W., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 Number theoretic and algebraic methods in computer science : proceedings of the International Conference, Moscow, June/July, 1993

Van Der Poorten, A. J, Shparlinski, Igor E, Zimmer, Horst Günter

World Scientific
6 図書 Logic and algebraic methods

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

Clarendon Press
12 図書 Intrusion detection in distributed systems : an abstraction-based approach

Ning, Peng, Jajodia, Sushil, Wang, Sean

Kluwer Academic Publishers