Overview

This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.

Full Product Details

Author:   Wolfgang Ehrenberger
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1998 ed.
Volume:   1516
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   1.290kg
ISBN:  

9783540651109

ISBN 10:   3540651101
Pages:   404
Publication Date:   23 September 1998
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions