Formal Techniques for Networked and Distributed Systems - FORTE 2006 / Elie Najm, Vaeronique Donzeau-Gouge, Véronique Viguié Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, Jean-François Pradat-Peyre, IFIP Working Group 6.1.
類似資料:
Springer eBooks Computer Science, Springer Berlin Heidelberg | |
Chapman & Hall on behalf of the International Federation for Information Processing | |
Springer eBooks Computer Science, Springer Berlin / Heidelberg | |
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg |