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

Tools and Algorithms for the Construction and Analysis of Systems

by , , ,
  • 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 »
Ultimate Rust for Systems Programming: Master Core Programming for Architecting Secure and Reliable Software Systems with Rust and WebAssembly (English Edition) Cover
Ultimate Rust for Systems Programming: Master Core Programming for Architecting Secure and Reliable Software Systems with Rust and WebAssembly (English Edition)
2024-03-20
0
Making Embedded Systems, 2nd Edition: Design Patterns for Great Software Cover
Making Embedded Systems, 2nd Edition: Design Patterns for Great Software
2024-04-16
1
Learning Airtable: Building Database-Driven Applications with No-Code Cover
Learning Airtable: Building Database-Driven Applications with No-Code
2024-01-16
1
Mastering GitHub Actions: Advance your automation skills with the latest techniques for software integration and deployment Cover
Mastering GitHub Actions: Advance your automation skills with the latest techniques for software integration and deployment
2024-03-22
0
Programming: Principles and Practice Using C++, 3rd Edition Cover
Programming: Principles and Practice Using C++, 3rd Edition
2023-12-15
476
Asynchronous Programming: Beyond the Main Thread (Programming Models) Cover
Asynchronous Programming: Beyond the Main Thread (Programming Models)
2024-03-16
0
PHP and MySQL Programming: 3 Books in 1 -
PHP and MySQL Programming: 3 Books in 1 - "From Beginner to Pro: Unlocking the Power of Server-Side Scripting
2024-03-14
0
Understanding swift programming: Unlocking the potential of Apple’s Swift for Seamless App Development Cover
Understanding swift programming: Unlocking the potential of Apple’s Swift for Seamless App Development
2023-12-04
0
Subscribe
Categories
Tags