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

Synchronous equivalence : formal methods for embedded systems

種類:
図書
責任表示:
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli
出版情報:
Boston : Kluwer Academic Publishers, 2001
著者名:
ISBN:
9780792372622 [079237262X]  CiNii Books  Calil
注記:
Includes bibliographical references (p. [133]-136) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Memory issues in embedded systems-on-chip : optimizations and exploration

Panda, Preeti Ranjan, Dutt, Nikil, Nicolau, Alexandru

Kluwer Academic
7 電子ジャーナル Formal Methods in System Design
2 図書 Understanding formal methods

Monin, Jean François, 1960-, Hinchey, Michael G. (...Michael Gerard...), 1969-

Springer
8 電子ジャーナル Formal Methods in System Design
3 図書 Formal specification : techniques and applications

Nissanke, Nimal

Springer
9 図書 Formal methods fact file : VDM and Z

Harry, Andrew

Wiley
4 図書 Algebraic foundations of systems specification

Astesiano, E. (Egidio), 1939-, Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)

Springer
10 図書 Formal hardware verification : methods and systems in comparison

Kropf, Thomas, 1961-

Springer
5 図書 Software specification methods : an overview using a case study

Frappier, Marc, 1965-, Habrias, Henri

Springer
11 図書 Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986

Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems, Kündig, Albert, 1937-, …

Springer-Verlag
6 図書 Steady-state methods for simulating analog and microwave circuits

Kundert, Kenneth S., White, Jacob K., Sangiovanni-Vincentelli, Alberto

Kluwer Academic Publishers
12 電子ブック Embedded Systems : New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986

Kündig, A., Bührer, R. E., Dähler, J., SpringerLink (Online service)

Springer-Verlag