Formal techniques for networked and distributed systems [electronic resource] : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.).
- Conference Author:
- FORTE 2006 (2006 : Paris, France)
- Additional Titles:
- FORTE 2006
26th IFIP WG 6.1 International Conference
Twenty-sixth IFIP WG 6.1 International Conference - Published:
- Berlin ; New York : Springer, [2006]
- Copyright Date:
- ©2006
- Physical Description:
- 1 online resource (xii, 486 pages) : illustrations
- Additional Creators:
- Najm, Elie
Pradat-Peyre, Jean-François
Donzeau-Gouge, Véronique
IFIP Working Group 6.1. - Access Online:
- ezaccess.libraries.psu.edu
- Series:
- Lecture notes in computer science, 0302-9743 ; 4229
- Subject(s):
- ISBN:
- 9783540462200
3540462201
3540462198
9783540462194
9786611407933
6611407936 - Note:
- AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
- Reproduction Note:
- Electronic reproduction. Berlin : Springer, 2006. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4565815