Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

>> Amazon.co.jp

このページのQRコード

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

種類:

図書

責任表示:

J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1989

著者名:

シリーズ名:

Lecture notes in computer science ; 354 <BA00009279>

ISBN:

9783540510802 [354051080X] (: gw)

9780387510804 [038751080X] (: us)

注記:

'Based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors'--Pref.

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Bakker, J. W. de (Jacobus Willem), 1939-; Electronic data processing--Distributed processing; Parallel processing (Electronic computers); Roever, W.-P. de; Rozenberg, Grzegorz
分類・件名:	NDC7 : 549.92 LCSH : Parallel processing (Electronic computers) LCSH : Electronic data processing -- Distributed processing LCSH : Bakker, J. W. de (Jacobus Willem), 1939- LCSH : Roever, W.-P. de LCSH : Rozenberg, Grzegorz
LCCN:	89006216
TTLL:	eng
言語:	英語
形態:	viii, 713 p. : ill. ; 25 cm
書誌ID:	BA06895994

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker, Jacobus W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 Bakker, J.W. de., Roever, W.P. de., Rozenberg, G., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service) Springer-Verlag	8 電子ブック Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings Bakker, Jaco W. de., Roever, Willem-Paul de., Rozenberg, Grzegorz., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	9 電子ブック A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service) Springer-Verlag
4 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	10 電子ブック A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. … Bakker, J.W.de., Roever, W.-P.de., Rozenberg, G., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag	11 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag
6 電子ブック Foundations of Object-Oriented Languages : REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings Bakker, J. W., Roever, W. P., Rozenberg, G., SpringerLink (Online service) Springer-Verlag	12 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings REX Workshop, Bakker, Jacobus Willem de, 1939- Springer-Verlag