The Temporal Logic of Reactive and Concurrent Systems Specification

Logic and Algebra of ...

Friedrich L. Ba ...

定価: ¥ 42534

当ショップ価格: ¥ 25144

On Concurrent Progra ...

Fred B. Schneid ...

定価: ¥ 10657

当ショップ価格: ¥ 5799

Concurrent Scientifi ...

Eric F. Van de ...

定価: ¥ 10657

当ショップ価格: ¥ 4288

Specification and De ...

Manfred Broy, K ...

定価: ¥ 11730

当ショップ価格: ¥ 5162

Specification and Es ...

G. Hasenkamp

定価: ¥ 15284

当ショップ価格: ¥ 8756

Conclog A Methodolog ...

Jean-Marie Jacq ...

当ショップ価格: ¥ 49799

Specification of Sof ...

V.S. Alagar

定価: ¥ 10657

当ショップ価格: ¥ 5799

Specification and Tr ...

Helmut A. Parts ...

定価: ¥ 11730

当ショップ価格: ¥ 9928

Biological Reactive ...

Patrick M. Dans ...

定価: ¥ 50828

当ショップ価格: ¥ 12993

Spatial and Temporal ...

O. Stock

定価: ¥ 31871

当ショップ価格: ¥ 25018

Computer Aided Concu ...

Rolf F. Schmidt ...

定価: ¥ 15284

当ショップ価格: ¥ 8498

Temporal GIS Advance ...

George Christak ...

定価: ¥ 30686

当ショップ価格: ¥ 23188

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 25018

High-Integrity Syste ...

Jonathan P. Bow ...

定価: ¥ 11730

当ショップ価格: ¥ 10399

Conditional Specific ...

Barry C. Arnold ...

定価: ¥ 22393

当ショップ価格: ¥ 9572

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 29037

Spatio-Temporal Patt ...

Daniel Walgraef ...

定価: ¥ 16469

当ショップ価格: ¥ 3916

System Specification ...

Eugenio Villar, ...

当ショップ価格: ¥ 25074

Models of Neural Net ...

Eytan Domany, E ...

定価: ¥ 27132

当ショップ価格: ¥ 7699