Results for Bengt Jonsson

ISBN.nu

search for books and compare prices

Bengt Jonsson has written 5 work(s)

Search for other authors with the same name

displaying 1 to 5 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Model-based Testing of Reactive Systems: Advanced Lectures

By Manfred Broy (editor), Bengt Jonsson (editor), Joost-Pieter Katoen (editor), Martin Leucker (editor) and Alexander Pretschner (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540262787 | Springer-Verlag New York Inc, August 15, 2005, cover price $129.00

Primary Open-Angle Glaucoma: Differences in International Treatment Patterns and Costs

Product Description: This book presents the methodology and data from a project aimed at assessing the cost-effectiveness of new products for the treatment of glaucoma The clinical and observational data are merged into a formal Markov model describing the treatment patterns for glaucoma in different scenarios Results and data from nine countries are available, together with commentaries and findings in the study Divided into 20 chapters, the reader will easily be able to consult areas of special interestIntended for the practising ophthalmologist, this book will also improve the understanding of healthcare providers on the value of preventing glaucoma, and in the long term, potential blindness The contributors to the study are world-leading ophthalmologists and economists and this is the first study of its kind to be conductedInternationally respected team of authors/contributors, Important topic gaining in coverage - ie health economics, Will appeal to an international market, Attractive text and illustrati...read more

By Bengt Jonsson (editor) and Gunther Krieglstein (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781901865714 | 1 edition (CRC Pr I Llc, June 1, 1999), cover price $139.95 | About this edition: This book presents the methodology and data from a project aimed at assessing the cost-effectiveness of new products for the treatment of glaucoma The clinical and observational data are merged into a formal Markov model describing the treatment patterns for glaucoma in different scenarios Results and data from nine countries are available, together with commentaries and findings in the study Divided into 20 chapters, the reader will easily be able to consult areas of special interestIntended for the practising ophthalmologist, this book will also improve the understanding of healthcare providers on the value of preventing glaucoma, and in the long term, potential blindness The contributors to the study are world-leading ophthalmologists and economists and this is the first study of its kind to be conductedInternationally respected team of authors/contributors, Important topic gaining in coverage - ie health economics, Will appeal to an international market, Attractive text and illustrativ

Health Economics of Dementia

Product Description: Drugs are being developed to alleviate the symptoms of dementia and different models of care are being tried. This book is a reference work in the subject. It gives a basis of the disease, its epidemiology, care implications, development and use of drugs...read more (view table of contents, read Amazon.com's description)

By Bengt Jonsson (editor), Goran Karlsson (editor), Anders Wimo (editor) and Bengt Winblad (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780471983767 | John Wiley & Sons Inc, July 1, 1998, cover price $605.00 | About this edition: Drugs are being developed to alleviate the symptoms of dementia and different models of care are being tried.

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : Proceedings

Product Description: This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations...read more

By Bengt Jonsson (editor) and Joachim Parrow (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540616481 | Springer Verlag, September 1, 1996, cover price $129.00 | About this edition: This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.

Protocol Specification, Testing, and Verification XI: Proceedings

Product Description: This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools...read more

By Bengt Jonsson (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780444892102 | North-Holland, December 1, 1991, cover price $131.25 | About this edition: This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems.

displaying 1 to 5 | at end