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

Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli

資料種別:
図書
出版情報:
New York : John Wiley, c1996
形態:
xvii, 271 p. ; 24 cm
シリーズ名:
Trends in software ; 5 <BA20449605>
著者名:
ISBN:
9780471958352 [0471958352]
書誌ID:
BA27859649
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Real-time software

Glass, Robert L., 1932-

Prentice-Hall
7 図書 Real time programming 1983

IFAC-IFIP Workshop on Real-Time Programming, Bull, Gordon M., International Federation of Automatic Control, …

Published for the International Federation of Automatic Control by Pergamon
2 図書 A robot ping-pong player : experiment in real-time intelligent control

Andersson, Russell L.

MIT Press
8 図書 Real-time business systems

Head, Robert V.

Holt, Rinehart and Winston
3 電子ブック FM 2016: Formal Methods

Fitzgerald, Gnesi, Stefania, Heitmeyer, Constance, Philippou, Anna

SpringerLink Books - AutoHoldings, Springer International Publishing
9 図書 Real-time rendering

Möller, Tomas, 1971-, Haines, Eric, 1958-, Hoffman, Naty, Pesce, Angelo, Iwanicki, Michał, Hillaire, Sébastien

Taylor & Francis, CRC Press
4 図書 Real-time systems education (: microfiche)

Zalewski, Janusz, Embry-Riddle Aeronautical University

IEEE Computer Society Press
10 図書 Real-time computer control

Bennett, S. (Stuart), Linkens, D. A., Institution of Electrical Engineers

P. Peregrinus on behalf of the Institution of Electrical Engineers
5 図書 Advances in real-time systems (:case ; :paper ; :microfiche)

Stankovic, John A., Ramamritham, Krithi

IEEE Computer Society Press
11 図書 Real-time dynamics of manipulation robots (: us ; : gw)

Vukobratović, Miomir, 1931-, Kirćanski, N. (Nenad), 1953-

Springer-Verlag
6 図書 Readings in real-time systems (: microfiche ; : case)

Lee, Yann-Hang, 1952-, Krishna, C. M.

IEEE Computer Society Press
12 図書 Verification and validation of real-time software (: Berlin ; : New York)

Quirk, William J.

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12