Computer supported work is increasingly being done out of the traditional office environment, for...

This book provides a comprehensive collection of methods and approaches for using formal methods ...

This book constitutes the referred proceedings of the First IFIP WG 13.7 International Workshop o...

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

This volume gathers and introduces texts relating to English and Welsh Nonconformity. Through con...

Digital technology is fundamentally altering the world we live in, but can only be truly understo...

Digital technology is fundamentally altering the world we live in, but can only be truly understo...

Eben noch war Harold Soyinka ein unbescholtener US-Bürger mit glücklichem Privatleben und gutem J...

This new edition expands and revises the book throughout, with new material added to existing cha...

This new edition expands and revises the book throughout, with new material added to existing cha...

This book provides a comprehensive collection of methods and approaches for using formal methods ...

International Federation for Information Processing The IFIP series publishes state-of-the-art re...