Formal Techniques for Networked and Distributed Systems - FORTE 2006

Format:: e-book
Title:: Formal Techniques for Networked and Distributed Systems - FORTE 2006
Author:: Najm, Elie; IFIP Working Group 6.1.; Donzeau-Gouge, Vaeronique; Donzeau-Gouge, Véronique Viguié; Kanade, Takeo; Pradat-Peyre, Jean-Franecois; Pradat-Peyre, Jean-François
Language:: English
Publisher:: Springer Berlin Heidelberg 2006
ISBN:: 3-540-46219-8
3-540-46220-1
Subject:: Information Technology Computer Science (Hardware & Networks)
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000283849?locale=en