Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2...
Leider schon ausverkauft
versandkostenfrei
Buch
44.94 €
Produktdetails
Produktinformationen zu „Tests and Proofs “
This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.
The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.
Inhaltsverzeichnis zu „Tests and Proofs “
Principles of Ca2+ homeostasis and Ca2+ signaling.- Bioluminescent Ca2+ indicators.- Fluorescent Ca2+ indicators.- Biological Ca2+ probes.- Ca2+-selective electrodes.- Ca2+ recordings: Hardware and software (from PMT to confocal microscopy).- Ca2+ imaging: Principles of enhancement and analysis.- Cellular Ca2+ imaging from microdomains to global Ca2+ signals.- Ca2+ imaging of intracellular organelles.- Ca2+ imaging of the brain: Single cells and slice preparations.- Ca2+ imaging of the brain: In vivo recordings.- Ca2+ imaging of the heart: from single cardiomyocytes to whole myocardium.- Ca2+ imaging of secretory cells.- Ca2+ imaging of nonexcitable cells.- Monitoring of Ca2+ extrusion.
Bibliographische Angaben
- 2008, X, 191 Seiten, Maße: 15,6 x 23,8 cm, Kartoniert (TB), Englisch
- Herausgegeben: Bernhard Beckert, Reiner Hähnle
- Verlag: Springer-Verlag GmbH
- ISBN-10: 354079123X
- ISBN-13: 9783540791232
Sprache:
Englisch
Kommentar zu "Tests and Proofs"
0 Gebrauchte Artikel zu „Tests and Proofs“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Tests and Proofs".
Kommentar verfassen