Cover Image
Read Now

Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Bibliographic Details
Main Author: Frutos-Escrig, David de
Other Authors: Nunez, Manuel
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Computer Science
Logic Design
Operating Systems (computers)
Software Engineering
Logics And Meanings Of Programs
Operating Systems
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540232520
978-3-540-23252-0

Similar Items