Formal Techniques for Networked and Distributed Systems : 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, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.

Formal Techniques for Networked and Distributed Systems : FORTE 2001 IFIP TC6/WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island, Korea /

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Ap...

Full description

Saved in:
Bibliographic Details
Main Author: Kim, Myungchul
Other Authors: Chin, Byoungmoon, Kang, Sungwon, Lee, Danhyung
Format: Electronic eBook
Language:English
Published: Boston, MA : Springer US, 2002.
Series:IFIP International Federation for Information Processing ; 69.
Subjects:
Computer science.
Software engineering.
Electronic data processing.
Electronic Data Processing
Online Access: Full text (Wentworth users only)
Local Note:ProQuest Ebook Central

Internet

Full text (Wentworth users only)

Similar Items