Download or read book Hydrogeology in Practice written by William Jay Stone and published by . This book was released on 1999 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Understanding ground-water systems and their relationship to the geologic setting is an integral part of characterizing, protecting, and cleaning up the environment. Hydrogeologic studies are the basis for such understanding. This book provides an overview of the basic components and tasks of a sound hydrogeologic study.

Download or read book Formal System Verification written by Rolf Drechsler and published by Springer. This book was released on 2018-08-10 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.