Cover Image

Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: FORTE 2005 Taipei, Taiwan, IFIP Working Group 6.1, SpringerLink (Online service)
Other Authors: Wang, Farn
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science. 3731.
Subjects:
Computer network protocols > Congresses.
Electronic data processing > Distributed processing > Congresses.
Formal methods (Computer science) > Congresses.
Méthodes formelles (Informatique) > Congrès.
Protocoles de réseaux d'ordinateurs > Congrès.
Traitement réparti > Congrès.
Méthode formelle.
Model-checking (Informatique)
Protocole de réseau d'ordinateurs.
Réseau distribué.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xii, 558 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540320849
9783540320845
ISSN:0302-9743 ;
DOI:10.1007/11562436