Hartmut König, Monika Heiner, Adam Wolisz (eds.)
Berlin ; Tokyo : Springer, c2003
図書等2003
xii, 429 p. : ill. ; 24 cm
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
FORTE [ International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 ] [ Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 International ] [ IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols ] [ FORTE '89 (1989 : Vancouver, B.C.) ] [ International Conference on Formal Description Techniques ] [ Formal Techniques for Networked and Distributed Systems ]
IFIP Working Group 6.1 [ I.F.I.P. W.G. 6.1 ] [ I.F.I.P. Working Group 6.1 ] [ IFIP WG 6.1 ] [ International Federation for Information Processing. Working Group 6.1 ]
LCC:QA76.9.F67
Formal methods (Computer science) -- Congresses
Electronic data processing -- Distributed processing -- Congresses
3540201750
BA64255399
LCCN : 2003062850
