Verification, Model Checking, and Abstract Interpretation Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers

The topographical and functional architecture of the human brain is highly complex. A profound understanding of this architecture is a prerequisite to understanding the functions and dysfunctions of the brain, to pass examinations in neuroanatomy, and to conduct operations in neurosurgery. The illustrations in this stereoscopic atlas have been developed with the greatest scientific thoroughness, and using an absolutely new 3D computer model. The use of a complex, stereoscopic visualization procedure presents the reader with a completely new and amazing, yet comprehensible, insight into the human brain. In combination with the CD-ROM, which contains all 173 illustrations as rotatable 3D models, this book introduces an innovative quality into the conception of spatial structures. It has never been so easy and fascinating to understand the architecture of the human brain!Cortesi, Agostino is the author of 'Verification, Model Checking, and Abstract Interpretation Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers', published 2002 under ISBN 9783540436317 and ISBN 3540436316.