"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Značka: "Springer Nature"
Obchod: ENbook.cz
Parametry: brand: "Springer Nature"
Do obchodu 🏠
"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium,
Cena již od: 2 722 Kč

Mohlo by vás také zajímat

"The Metallurgy of Anodizing Aluminum: Connecting Science to Practice" - "" ("Runge Jude Mary")(
ENbook.cz
4 812 Kč
"Handbook of Stress and Academic Anxiety: Psychological Processes and Interventions with Student
ENbook.cz
6 628 Kč
"Posterior Circulation Stroke: Advances in Understanding and Management" - "" ("Kim Jong S.")(Pe
ENbook.cz
2 951 Kč
"Biometric Identification Technologies Based on Modern Data Mining Methods" - "" ("Bilan Stepan"
ENbook.cz
3 458 Kč
"Positioning Women in Malaysia: Class and Gender in an Industrializing State" - "" ("Ng Cecilia"
ENbook.cz
2 935 Kč
"Visual Object Tracking from Correlation Filter to Deep Learning" - "" ("Xing Weiwei")(Pevná vaz
ENbook.cz
4 244 Kč
"Handbook of Education Systems in South Asia" - "" ("Sarangapani Padma M.")(Pevná vazba)
ENbook.cz
14 705 Kč
"Supply Chain Risk Mitigation: Strategies, Methods and Applications" - "" ("Khojasteh Yacob")(Pe
ENbook.cz
1 589 Kč
"Current Concepts in Forensic Entomology" - "" ("Amendt Jens")(Paperback)
ENbook.cz
7 901 Kč
"Fundamentals of Power Electronics" - "" ("Erickson Robert W.")(Paperback)
ENbook.cz
3 331 Kč
"Advances in Big Data Analytics: Theory, Algorithms and Practices" - "" ("Shi Yong")(Pevná vazba
ENbook.cz
5 376 Kč
"Sustainable Land Management in a European Context: A Co-Design Approach" - "" ("Weith Thomas")(
ENbook.cz
1 336 Kč
"Environmental Degradation in Asia: Land Degradation, Environmental Contamination, and Human Act
ENbook.cz
6 682 Kč
"Determining Sample Size and Power in Research Studies: A Manual for Researchers" - "" ("Verma J
ENbook.cz
3 135 Kč
"General Relativity and Gravitational Waves: Essentials of Theory and Practice" - "" ("Dhurandha
ENbook.cz
2 243 Kč
"Flow-Induced Instabilities of Reversible Pump Turbines" - "" ("Zheng Xianghao")(Paperback)
ENbook.cz
1 393 Kč
"The Rise of the Taliban in Afghanistan: Mass Mobilization, Civil War, and the Future of the Reg
ENbook.cz
1 038 Kč
"Social Inclusion: Possibilities and Tensions" - "" ("Askonas P.")(Paperback)
ENbook.cz
1 554 Kč
"Developing Advanced English Language Competence: A Research-Informed Approach at Tertiary Level
ENbook.cz
4 250 Kč
"Vegetation Dynamics of Mongolia" - "" ("Gunin P. D.")(Paperback)
ENbook.cz
4 514 Kč
"Practical Clinical Andrology" - "" ("Bettocchi Carlo")(Paperback)
ENbook.cz
1 041 Kč
"Resistive Switching: Oxide Materials, Mechanisms, Devices and Operations" - "" ("Rupp Jennifer"
ENbook.cz
4 799 Kč
"Child Rights to Guardianship: A Comparative Study in International, Islamic and Libyan Laws" -
ENbook.cz
3 700 Kč
"5g and Beyond: Fundamentals and Standards" - "" ("Lin Xingqin")(Pevná vazba)
ENbook.cz
5 343 Kč
"Mathematical Analysis: An Introduction" - "" ("Browder Andrew")(Pevná vazba)
ENbook.cz
1 856 Kč
"First Responder Mental Health: A Clinician's Guide" - "" ("Bourke Michael L.")(Pevná vazba)
ENbook.cz
3 255 Kč
"Special Relativity: An Introduction with 200 Problems and Solutions" - "" ("Tsamparlis Michael"
ENbook.cz
2 610 Kč
"Voices from This Long Brown Land: Oral Recollections of Owens Valley Lives and Manzanar Pasts"
ENbook.cz
1 684 Kč
"Technology-Enabled Innovations in Education: Select Proceedings of Ciie 2020" - "" ("Hosseini S
ENbook.cz
3 028 Kč
"Privatization and Alternative Public Sector Reform in Sub-Saharan Africa: Delivering on Electri
ENbook.cz
2 935 Kč
"An Introduction to Knot Theory" - "" ("Lickorish W. B. Raymond")(Pevná vazba)
ENbook.cz
2 235 Kč
"Model-Based Control of Flying Robots for Robust Interaction Under Wind Influence" - "" ("Tomic
ENbook.cz
2 932 Kč
"Filler-Reinforced Elastomers Scanning Force Microscopy" - "" ("Cappella B.")(Paperback)
ENbook.cz
5 789 Kč
"Urban Inclusivity in Southern Africa" - "" ("Magidimisha-Chipungu Hangwelani H.")(Pevná vazba)
ENbook.cz
3 513 Kč
"Pharmaceutical Calibration, Validation and Qualification: A Comprehensive Approach" - "" ("Shuk
ENbook.cz
4 771 Kč
"Gasoline Compression Ignition Technology: Future Prospects" - "" ("Kalghatgi Gautam")(Paperback
ENbook.cz
4 504 Kč
"Emerging Electronics and Automation: Select Proceedings of E2a 2021" - "" ("Chong Peter Han Joo
ENbook.cz
9 956 Kč
"The New Cosmos: An Introduction to Astronomy and Astrophysics" - "" ("Unsld Albrecht")(Paperbac
ENbook.cz
2 075 Kč
"Affect Dynamics" - "" ("Waugh Christian E.")(Paperback)
ENbook.cz
5 286 Kč
"New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineerin
ENbook.cz
1 336 Kč
"Tools for Activating Data Marketplace: Toward Innovations with Data-Mediated Communications" -
ENbook.cz
4 509 Kč
"In-Situ Transmission Electron Microscopy" - "" ("Sun Litao")(Pevná vazba)
ENbook.cz
4 802 Kč
"Understanding and Changing the World: From Information to Knowledge and Intelligence" - "" ("Si
ENbook.cz
1 343 Kč
"Institutional Corruption Theory in Pharmaceutical Industry-Medicine Relationships: A Qualitativ
ENbook.cz
2 932 Kč
"Technology Application in Tourism Fairs, Festivals and Events in Asia" - "" ("Hassan Azizul")(P
ENbook.cz
5 332 Kč
"Generalized Inverses: Theory and Applications" - "" ("Ben-Israel Adi")(Pevná vazba)
ENbook.cz
2 969 Kč
"Fracture Mechanics: An Introduction" - "" ("Gdoutos Emmanuel E.")(Paperback)
ENbook.cz
1 630 Kč
"Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation" - "" ("Cheng Hong")(Pe
ENbook.cz
3 706 Kč
"The Imo Compendium: A Collection of Problems Suggested for the International Mathematical Olymp
ENbook.cz
3 018 Kč
"Scientific Foundations of Digital Governance and Transformation: Concepts, Approaches and Chall
ENbook.cz
3 740 Kč
"Caste, Covid-19, and Inequalities of Care: Lessons from South Asia" - "" ("Acharya Sanghmitra S
ENbook.cz
4 775 Kč
"Max Von Laue: Intrepid and True: A Biography of the Physics Nobel Laureate" - "" ("Lemmerich Jo
ENbook.cz
1 796 Kč
"Foundations of Blockchain: Theory and Applications" - "" ("Imteaj Ahmed")(Paperback)
ENbook.cz
1 928 Kč
"A Rose Armed with Thorns: Spinoza's Philosophy Under a Novel Lens" - "" ("Gilead Amihud")(Pevná
ENbook.cz
3 221 Kč
"Database Anonymization: Privacy Models, Data Utility, and Microaggregation-Based Inter-Model Co
ENbook.cz
1 072 Kč
"Advances in Waste Processing Technology" - "" ("Yaser Abu Zahrim")(Paperback)
ENbook.cz
1 544 Kč
"The Mesentery and Inflammation" - "" ("Coffey J. Calvin")(Pevná vazba)
ENbook.cz
3 423 Kč
"Practical Optimization: Algorithms and Engineering Applications" - "" ("Antoniou Andreas")(Pape
ENbook.cz
2 573 Kč
"Artificial Intelligence Applications and Innovations. Aiai 2020 Ifip Wg 12.5 International Work
ENbook.cz
1 550 Kč
"Clinically Oriented Pulmonary Imaging" - "" ("Kanne Jeffrey P.")(Pevná vazba)
ENbook.cz
6 623 Kč
Midovo.cz | podmínky použití | kontakt