Electronic Books

Total Books: 1 - 5 /5
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Lire la suite
Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Lire la suite
Distributed Event-Based Systems

Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...

Lire la suite
Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

Lire la suite
Smart Homes and Health Telematics : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

The book is organized in topical sections on assistive technology to improve quality of life for older adults and their caregivers; ...

Lire la suite
Total Books: 1 - 5 /5