Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Formal techniques for networked and distributed systems [electronic resource] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / edited by Myungchul Kim ... [et al.].

by FORTE 2001 (2001 : Cheju-do, Korea) | Kim, Myungchul | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York : Kluwer Academic, c2001Online access: Click to View Availability: No items available.

Add to cart
No cover image available
Formal techniques for networked and distributed systems [electronic resource] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / edited by Myungchul Kim ... [et al.].

by FORTE 2001 (2001 : Cheju-do, Korea) | Kim, Myungchul | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York : Kluwer Academic, c2001Online access: Click to View Availability: No items available.

Add to cart
Pages