Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 joint international conference on formal description techniques for distributed systems and communication Protocols (FORTE XII) and protocol specification, testing, and verification (PSTV XIX) : October 5-8, 1999, Beijing, China edited by Jianping Wu, Samuel T. Chanson, Qiang Gao

Contributor(s):

Chanson, Samuel T
Gao, Qiang
Wu, Jianping
IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (12th : 1999 : Beijing, China), IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 : Beijing, China), IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (19th : 1999 : Beijing, China)

Publication details: Dordrecht ; Boston Kluwer Academic 1999Description: 497 p. : ill. ; 25 cmISBN:

792386469

ISSN:

99040808

Subject(s):

DDC classification:

005.13 WU

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	005.13 WU (Browse shelf(Opens below))	Available		263693

Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)

Previous				No cover image available				Next
Previous	005.13 WOO Computer coding games for kids	005.13 WOO Computer coding projects for kids	005.13 WOO Computer coding projects for kids	005.13 WU Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 joint international conference on formal description techniques for distributed systems and communication Protocols (FORTE XII) and protocol specification, testing, and verification (PSTV XIX) : October 5-8, 1999, Beijing, China	005.13 XAV FORTRAN 77 and numerical methods	005.13 YAN Professional Microsoft smartphone programming	005.13 ZHA R for programmers mastering the tools	Next

Includes bibliographical references

There are no comments on this title.

to post a comment.

Back to results

1 Neural cell culture : a practical approach
2 New methods for culturing cells from nervous tissues
3 Plant cell culture : essential methods
by Davey, M. R
4 Plant cell culture : practical approach
by Dixon, R A
5 Plant cell culture protocols
6 Primary hematopoietic cells
7 Primary mesenchymal cells
8 Process scale bioseparations for the biopharmaceutical industry
9 The hepatocyte review
10 Bone research protocols
11 Cancer cell lines
12 Cell culture methods for in vitro toxicology
13 Cell culture technology for pharmaceutical and cell-based therapies
14 Cell science and technology
by Chandra Bhanu, T. K
15 Culture of animal cells : a manual of basic technique
by Freshney, R. Ian
16 Current issues in plant molecular and cellular biology : proceedings of the VIIIth international congress on plant tissue and cell culture, Florence, Italy, 12-17 June, 1994
17 Embryogenesis : the generation of a plant
by Wang, T. L
18 Endocrine cell culture
19 Endothelial cell culture
20 Epithelial cell culture
21 Epithelial cell culture protocols
22 Flow cytometry applications in cell culture
23 General techniques of cell culture
by Harrison, Maureen A
24 Haematopoietic and lymphoid cell culture
25 Handbook of industrial cell culture : mammalian, microbial, and plant cells
26 In vitro cultivation of animal cells
27 In vitro cultivation of plant cells
28 In vitro culture transformation and molecular markers for crop improvement
29 Plant cell and tissue culture
30 Plant cell and tissue culture
by Narayanaswamy, S
31 Animal cell and Tissue culture
by Mathur, Shivang
32 Animal cell culture : a practical approach
33 Basic cell culture : a practical approach
34 Basic cell culture protocols
35 Plant cell and tissue culture
36 Plant cell and tissue culture
by Narayanaswamy, S

Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)

Find us on the map