Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Bibliographic Details
Published in:Springer eBooks
Main Author: Suzuki, Kenji
Corporate Author: SpringerLink (Online service)
Other Authors: El-Fakih, Khaled, Higashino, Teruo, Yasumoto, Keiichi
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
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/978-3-540-68855-6
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-540-68855-6
Перейти в каталог НБ ТГУ

Similar Items