کتاب های جدید

کتاب های برگزیده

دانلود کتاب Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

عنوان فارسی :

دانلود کتاب آزمایشات و اثبات: سومین کنفرانس بین المللی ، TAP 2009 ، زوریخ ، سوئیس ، 2-3 ژوئیه ، 2009. مجموعه مقالات

عنوان انگلیسی :

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

زبان : English

موضوع : Computers

نویسندگان : Boutheina Chetali (auth.) Catherine Dubois (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

ISBN (شابک) : 3642029485, 9783642029486

تعداد صفحات : 169\178

سال نشر : 2009     ویرایش : 1

حجم : 2 MB       فرمت : pdf

قیمت : 28000 تومان

فهرست :



Table of contents :
Front Matter....Pages -
Security Testing and Formal Methods for High Levels Certification of Smart Cards....Pages 1-5
Verification, Testing and Statistics....Pages 6-9
Development of a Generic Voter under FoCal ....Pages 10-26
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing....Pages 27-42
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization....Pages 43-57
Complementary Criteria for Testing Temporal Logic Properties....Pages 58-73
Could We Have Chosen a Better Loop Invariant or Method Contract?....Pages 74-89
Consistency, Independence and Consequences in UML and OCL Models....Pages 90-104
Dynamic Symbolic Execution for Testing Distributed Objects....Pages 105-120
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process....Pages 121-136
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables....Pages 137-152
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate....Pages 153-168
Back Matter....Pages -


اطمینان از خرید


Download Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings from megabooks31.ir

کتاب های پزشکی

دانلود کتاب Neurological Foundations of Cognitive Neuroscienceدانلود کتاب Essentials of Breast Surgery: A Volume in the Surgical Foundations Seriesدانلود کتاب Manuelle Therapie und komplexe Rehabilitation: Band 2: Untere Körperregionenدانلود کتاب Essentials of Family Medicineدانلود کتاب Environmental Forensics: Principles & Applications

کتاب های کامپیوتر

دانلود کتاب Business Database Systemsدانلود کتاب Programming Microsoft Infopath: A Developer's Guide (Programming Series)دانلود کتاب LISP 1.5 Programmer's Manualدانلود کتاب Sun Certified Enterprise Architecture for J2EE Technology Study Guideدانلود کتاب Java Programming

کتاب های ریاضی

دانلود کتاب Studies on Graphs and Discrete Programmingدانلود کتاب The logarithmic potential: Discontinuous Dirichlet and Neumann problemsدانلود کتاب Topics in functional analysis and applicationsدانلود کتاب Effective logic computationدانلود کتاب Probability

کتاب های تکنولوژی

دانلود کتاب Advances in Diverse Industrial Applns of Nanocompositesدانلود کتاب Industrial Combustion Pollution and Controlدانلود کتاب Fruit and Vegetable Biotechnologyدانلود کتاب Design for Reliabilityدانلود کتاب Membrane Separations in Biotechnology

کتاب های مذهبی

دانلود کتاب The Earthy Nature of the Bible: Fleshly Readings of Sex, Masculinity, and Carnalityدانلود کتاب Deuteronomyدانلود کتاب Ultimate Book of Spellsدانلود کتاب Christianity and Civilisation - I - First Part: Foundations (Gifford Lectures Delivered at the University of St. Andrews 1947)دانلود کتاب 2012 and the End of the World

کتاب های فیزیولوژی

دانلود کتاب Perceiving the Affordances: A Portrait of Two Psychologistsدانلود کتاب Emotional Development: The Organization of Emotional Life in the Early Yearsدانلود کتاب Human Behavior Understanding: Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedingsدانلود کتاب Brain, Mind and Consciousness: Advances in Neuroscience Researchدانلود کتاب Simulation and Gaming for Mathematical Education: Epistemology and Teaching Strategies

کتاب های تاریخی

دانلود کتاب Vickers FB5دانلود کتاب Prussian Cavalry of the Napoleonic Wars (2): 1807-15دانلود کتاب The First Soviet Cosmonaut Teamدانلود کتاب Spitfires and Yellow Tail Mustangs: The 52nd Fighter Group in World War Twoدانلود کتاب Sopwith B.1 & T.1 Cuckoo

کتاب های زیست شناسی

دانلود کتاب Viral Applications of Green Fluorescent Protein: Methods and Protocolsدانلود کتاب Tumor Biomarker Discovery: Methods and Protocolsدانلود کتاب Ultrasound in Obstetrics And Gynecology: Textbook and Atlas, Volume 2 - Gynecologyدانلود کتاب Glossary of Biotechnology Terms, Third Editionدانلود کتاب Experimental Biochemistry

کتاب های اقتصاد

دانلود کتاب Unravelling the Credit Crunchدانلود کتاب USS Enterprise (CV-6): The Most Decorated Ship of World War II - A Pictorial Historyدانلود کتاب IBM Cognos 8 Business Intelligence: The Official Guideدانلود کتاب Managing Web Service Quality: Measuring Outcomes and Effectivenessدانلود کتاب Managing Human Resources, 7th Edition

کتاب های آموزشی

دانلود کتاب Cambridge - Objective First Certificate (FCE)دانلود کتاب Aptitude for Destruction, Volume 2: Case Studies of Organizational Learning in Five Terrorist Groupsدانلود کتاب Psychology: A Self-Teaching Guideدانلود کتاب Birth of the Universe and Fundamental Physics: Proceedings of the International Workshop Held in Rome, Italy, 18-21 May 1994دانلود کتاب Digital SLR Cameras & Photography For Dummies

کتاب های حقوق

دانلود کتاب Freedom of Religion: UN and European Human Rights Law and Practiceدانلود کتاب Crime in Japan: Paradise Lost?دانلود کتاب Crime and Punishment in Islamic Law: Theory and Practice from the Sixteenth to the Twenty-First Century (Themes in Islamic Law)دانلود کتاب Privacy: A Very Short Introduction (Very Short Introductions)دانلود کتاب Legal reform and administrative detention powers in China

کتاب های علوم انسانی

دانلود کتاب The Encyclopedia of Adoption (Facts on File Library of Health and Living)دانلود کتاب The Cambridge History Of Political Thought 1450-1700دانلود کتاب Gender Politicsدانلود کتاب What is this thing called Knowledge?دانلود کتاب Living Without God: New Directions for Atheists, Agnostics, Secularists, and the Undecided
پشتیبانی (تماس و واتساپ) 09117307688
(جهت شروع چت کلیک کنید)
دروازه پرداخت معتبر