Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement

Conditional Specific ...

Barry C. Arnold ...

定価: ¥ 22393

当ショップ価格: ¥ 9077

The Temporal Logic o ...

Zohar Manna, Am ...

定価: ¥ 20023

当ショップ価格: ¥ 17176

Logic and Algebra of ...

Friedrich L. Ba ...

定価: ¥ 42534

当ショップ価格: ¥ 24932

The Interactive Mana ...

Jaime Gil-Aluja

定価: ¥ 23578

当ショップ価格: ¥ 16769

Discovering Mathemat ...

R.J. Stroeker, ...

定価: ¥ 11730

当ショップ価格: ¥ 6599

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 24842

User Manual for the ...

Jürgen Richter- ...

定価: ¥ 11730

当ショップ価格: ¥ 3584

Digital Interactive ...

Artur Lugmayr, ...

定価: ¥ 23578

当ショップ価格: ¥ 8394

Interactive Media

Roy Rada

定価: ¥ 9477

当ショップ価格: ¥ 4046

Xplore An Interactiv ...

W. Hardle, W. H ...

定価: ¥ 11730

当ショップ価格: ¥ 5499

Essential Dynamic HT ...

Aladdin Ayesh

定価: ¥ 4733

当ショップ価格: ¥ 3999

Domain Knowledge for ...

Alistair G. Sut ...

定価: ¥ 31160

当ショップ価格: ¥ 22150

Differential Equatio ...

Jon Davis

定価: ¥ 8288

当ショップ価格: ¥ 5999

Algebra Interactive! ...

Arjeh M. Cohen, ...

定価: ¥ 8288

当ショップ価格: ¥ 8181

Specification and Tr ...

Helmut A. Parts ...

定価: ¥ 11730

当ショップ価格: ¥ 9583

Interactive Linear A ...

Gerald J. Porte ...

定価: ¥ 8288

当ショップ価格: ¥ 7559

System Specification ...

Eugenio Villar, ...

当ショップ価格: ¥ 24599

Modeling and IPC Con ...

Stefano Stramig ...

当ショップ価格: ¥ 24426

Specification and Es ...

G. Hasenkamp

定価: ¥ 15284

当ショップ価格: ¥ 8673

Interactive Assessme ...

H. Carl Haywood ...

定価: ¥ 35426

当ショップ価格: ¥ 33937

Design Principles fo ...

Gilbert Cockton ...

定価: ¥ 16469

当ショップ価格: ¥ 15630

Specification of Sof ...

V.S. Alagar

定価: ¥ 10657

当ショップ価格: ¥ 5292

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 28834

High-Integrity Syste ...

Jonathan P. Bow ...

定価: ¥ 11730

当ショップ価格: ¥ 7499

Interactive Linear A ...

Elias Deeba

定価: ¥ 7103

当ショップ価格: ¥ 4117