Tools and Algorithms for the Construction and Analysis of Systems Front Cover

Tools and Algorithms for the Construction and Analysis of Systems

  • Length: 258 pages
  • Edition: 1st ed. 2019
  • Publisher:
  • Publication Date: 2019-06-05
  • ISBN-10: 3030175014
  • ISBN-13: 9783030175016
0
0 ratings
Print Book Look Inside
Description

This book is Open Access under a CC BY licence.

This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It’s a special volume on the occasion of the 25 year anniversary of TACAS.

Free ChaptersTry Audible and Get Two Free Audiobooks »
To access the link, solve the captcha.
Recommended BooksMore Similar Books »
Kickstart Software Design Architecture: Transform Your Software Development Journey with Key Principles and Advanced Practices in Architecture, Microservices, and Cloud Computing (English Edition) Cover
Kickstart Software Design Architecture: Transform Your Software Development Journey with Key Principles and Advanced Practices in Architecture, Microservices, and Cloud Computing (English Edition)
2024-09-17
0
Learning Azure DevOps: Outperform DevOps using Azure Pipelines, Artifacts, Boards, Azure CLI, Test Plans and Repos Cover
Learning Azure DevOps: Outperform DevOps using Azure Pipelines, Artifacts, Boards, Azure CLI, Test Plans and Repos
2024-08-04
0
Cloud Native Application Protection Platforms: A Guide to Cnapps and the Foundations of Comprehensive Cloud Security Cover
Cloud Native Application Protection Platforms: A Guide to Cnapps and the Foundations of Comprehensive Cloud Security
2024-10-22
0
Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights Cover
Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights
2024-10-05
0
Inside Cyber Warfare, 3rd Edition: Mapping the Cyber Underworld Cover
Inside Cyber Warfare, 3rd Edition: Mapping the Cyber Underworld
2024-10-22
0
Android Studio Koala Essentials - Kotlin Edition: Developing Android Apps Using Android Studio Koala Feature Drop and Kotlin Cover
Android Studio Koala Essentials - Kotlin Edition: Developing Android Apps Using Android Studio Koala Feature Drop and Kotlin
2024-09-11
0
Virtual Threads, Structured Concurrency, and Scoped Values: Explore Java’s New Threading Model Cover
Virtual Threads, Structured Concurrency, and Scoped Values: Explore Java’s New Threading Model
2024-09-05
0
Building AI-Intensive Python Applications: Create intelligent apps with LLMs and vector databases Cover
Building AI-Intensive Python Applications: Create intelligent apps with LLMs and vector databases
2024-10-09
0
Subscribe
Categories
Tags