Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification

このページのQRコード

Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification

種類:

図書

責任表示:

organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. West

出版情報:

Amsterdam ; Tokyo : North-Holland
New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987

著者名:

ISBN:

9780444702937 [0444702938]

注記:

Includes index

所蔵情報

子書誌情報

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

詳細

主題:	Computer network protocols--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Computer network protocols -- Congresses
TTLL:	eng
言語:	英語
形態:	xv, 455 p. ; 24 cm
書誌ID:	BA00883234

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings Sifakis, Joseph, 1946- Springer-Verlag	7 図書 Control of partial differential equations : proceedings of the IFIP WG 7.2 Working Conference, Santiago de Compostela, Spain, July 6-9, 1987 IFIP TC-7/WG-7.2 Conference on Optimal Control of Systems Governed by Partial Differential Equations, Bermúdez, A. … Springer-Verlag
2 図書 Stochastic differential systems : proceedings of the IFIP-WG 7/1 Working Conference, Eisenach, GDR, April 6-13, 1986 IFIP Working Conference on Stochastic Differential Systems, Engelbert, Hans Jürgen, Schmidt, W. (Wolfgang), IFIP WG 7.1 Springer-Verlag	8 図書 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, … Advanced Research Working Conference on Correct Hardware Design Methodologies, Margarita, Tiziana, Melham, T. F. (Tom … Springer
3 図書 Constructive aspects of the fundamental theorem of algebra : proceedings of a symposium conducted at the IBM Research Laboratory, Zürich-Rüschlikon, … Dejon, Bruno, Henrici, Peter, 1923- Wiley-Interscience	9 図書 Visual database systems : proceedings of the IFIP TC 2/WG 2.6 Working Conference on Visual Database Systems, Tokyo, Japan, 3-7 April, 1989 IFIP TC 2/WG 2.6 Working Conference on Visual Database Systems, 國井, 利泰(1938-) North-Holland
4 図書 Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn … Kluwer Academic Publishers	10 図書 Theory and application of random fields : proceedings of the IFIP-WG 7/1 Working Conference held under the joint auspices of the Indian Statistical Institute, … IFIP-WG 7/1 Working Conference, Kallianpur, G., Indian Statistical Institute Springer-Verlag
5 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy), … Kluwer Academic	11 電子ブック The Practice of Enterprise Modeling : 5th IFIP WG 8.1 Working Conference, PoEM 2012, Rostock, Germany, November 7-8, 2012, Proceedings Sandkuhl, Kurt., Seigerroth, Ulf., Stirna, Janis., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
6 図書 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, … Kluwer Academic Publishers	12 電子ブック Enterprise Interoperability : 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012, Proceedings van Sinderen, Marten., Johnson, Pontus., Xu, Xiaofei., Doumeingts, Guy., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer