Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Wang, Farn
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Computer Communication Networks
Logic design
Operating systems (Computers)
Software engineering
Computer Science
Logics and Meanings of Programs
Operating Systems
Software Engineering
Online Access:http://dx.doi.org/10.1007/11562436
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/11562436
Перейти в каталог НБ ТГУ

Similar Items