Formal Techniques for Networked and Distributed Systems FORTE 2001

Formal Techniques for Networked and Distributed Systems FORTE 2001 / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2001.
Edition:1st ed. 2001.
Series:IFIP Advances in Information and Communication Technology, 69
Springer eBook Collection.
Subjects:
Computer communication systems.
Artificial intelligence.
Microprocessors.
Software engineering.
Electrical engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items