1
Published 2007
Springer US
Table of Contents: ... Integrity Model to Evidence Management -- Formal Methods -- Investigating Computer Attacks Using Attack...

2
by Van Voorst, Robert E.
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
...This book focuses on seven of the most important formal methods used to interpret the New Testament...

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- 5. Formal Methods for Designing Cleaner Processes -- 6. Removing Obstacles in the Implementation...

4
Published 1989
Springer US
Table of Contents: ... -- 7 References l -- 10: Use of Formal Methods in Evaluating Countermeasures to Coastal Water Pollution...