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

Temporal logic and state systems

種類:
図書
責任表示:
Fred Kröger, Stephan Merz
出版情報:
Berlin : Springer, c2008
著者名:
シリーズ名:
Texts in theoretical computer science ; An EATCS series <BA24186461>
ISBN:
9783540674016 [3540674012]  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 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
7 図書 Modeling, verification and exploration of task-level concurrency in real-time embedded systems

Thoen, Flip, Catthoor, Francky

Kluwer Academic Publishers
2 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
8 図書 Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and …

IFIP TC6 / WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Kim, Myungchul, &hellip;

Kluwer Academic Publishers
3 図書 Multimodality in language and speech systems

Granström, Björn, House, David, Karlsson, Inger

Kluwer Academic Publishers
9 図書 Proceedings of PART '97 : The 4th Australasian Conference on Parallel and Real-Time Systems, Newcastle, New South Wales, Australia, 29-30 September 1997

Australasian conference on parallel and real-time systems, Sharda, Nalin, Tam, Audrey

Springer
4 図書 Modelling, analysis, and design of hybrid systems

Engell, Sebastian, Frehse, Goran, Schnieder, Eckehard

Springer
10 電子ブック Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans, Ron, SpringerLink (Online service)

Springer-Verlag
5 図書 Real-time systems : scheduling, analysis, and verification

Cheng, Albet M. K.

Wiley-Interscience
11 電子ブック Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans, Ron., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Coding approaches to fault tolerance in combinational and dynamic systems

Hadjicostis, Christoforos N.

Kluwer Academic Publishers
12 電子ブック Formal Systems Specification : The RPC-Memory Specification Case Study

Broy, Manfred, Merz, Stephan, Spies, Katharina, SpringerLink (Online service)

Springer-Verlag