Formal Development of Reactive Systems Case Study Production Cell

This manual provides insights into clinical and laboratory techniques used in assisted human reproduction, for example hormone therapy, in vitro fertilization, diagnostic and microsurgical techniques, cryoconservation, oocyte maturation etc.. Detailed information is given on the practical clinical value of the methods, as well as on their applications in basic research. This comprehensive manual covers the state of the art and prospects for future developments in assisted reproduction. The book is thus a quick and precise guide for clinical gynecologists and specialists in reproductive medicine.Lewerentz, Claus is the author of 'Formal Development of Reactive Systems Case Study Production Cell', published 1995 under ISBN 9783540588672 and ISBN 3540588671.