Tools and Algorithms for the Construction and Analysis of Systems Image close
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Show Hide Adult Content
Tools and Algorithms for the Construction and Analysis of Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$137.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

6 weekly interest-free payments of $22.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 2-12 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Brain Inspired Cognitive Systems
$197.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
The Semantic Web: ESWC 2019 Satellite Events
$150.00
The Semantic Web: ESWC 2019 Satellite Events
Paperback / softback
Available - Usually ships in 3-4 weeks
Descriptional Complexity of Formal Systems
$175.00
Descriptional Complexity of Formal Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Trends in Algebraic Development Techniques
$150.00
Recent Trends in Algebraic Development Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks
Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence
$303.00
Connectionist Models of Neurons, Learning Processes, and Artificial...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2003
$312.00
Computational Science and Its Applications - ICCSA 2003
Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Communications Security
$314.00
Information and Communications Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2016 Workshops
$308.00
Computer Vision – ECCV 2016 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency
$150.00
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Identity and Privacy in the Internet Age
$149.00
Identity and Privacy in the Internet Age
Paperback / softback
Available - Usually ships in 3-4 weeks
The Computational Complexity of Equivalence and Isomorphism Problems by Thomas Thierauf
$148.00
The Computational Complexity of Equivalence and Isomorphism Problems
by Thomas Thierauf ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Methods in Neural Modeling
$301.00
Computational Methods in Neural Modeling
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$309.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.  
Release date NZ
April 22nd, 2023
Contributors
  • Edited by Natasha Sharygina
  • Edited by Sriram Sankaranarayanan
Pages
708
Edition
1st ed. 2023
Audience
  • Professional & Vocational
Illustrations
140 Illustrations, color; 53 Illustrations, black and white; XXIII, 708 p. 193 illus., 140 illus. in color.
ISBN-13
9783031308222
Product ID
36585267

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation