elie najm
Formal Techniques for Networked and Distributed Systems - FORTE 2006
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference o...
SDL 2007: Design for Dependable Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, hel...
Formal Methods for Open Object-based Distributed Systems
EbookSofort lieferbarObject-based Distributed Computing is being established as themost pertinent basis for the supp...
Formal Methods for Open Object-Based Distributed Systems
EbookSofort lieferbarThis volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conferenc...
Formal Description Techniques and Protocol Specification, Testing and Verification
EbookSofort lieferbarFormal Description Techniques and Protocol Specification, Testing and Verification addresses form...
Formal Methods for Open Object-based Distributed Systems
BuchBezug 11-15Object-based Distributed Computing is being established as themost pertinent basis for the supp...
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchBezug 11-15This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conferenc...
SDL 2007: Design for Dependable Systems
TaschenbuchBezug 16-20th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled 'Design for Depend...
Formal Description Techniques and Protocol Specification, Testing and Verification
TaschenbuchBezug 16-20Formal Description Techniques and Protocol Specification,Testing and Verification ...
- 1