Return to Browse Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Lee D
1
Book
2000

Formal methods for distributed system development


IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (2000 : Pisa, Italy)

Boston, Mass. ; London : Kluwer Academic Publishers, 2000

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.36 Ifi/Fmf 2000  AVAILABLE
2
Book
2000

Formal methods for distributed system development


IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (2000 : Pisa, Italy)

Boston, Mass. ; London : Kluwer Academic Publishers, 2000

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.36 Ifi/Fmf 2000  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results
Return to Browse Limit/Sort Search