BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Tools and Algorithms for the Construction and Analysis of Systems: 29th
Stock photo: cover may vary

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe Paperback - 2023

by Sriram Sankaranarayanan (Editor); Natasha Sharygina (Editor)

Add to wish list

Reader reviews for Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe

From the rear cover

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.


Details

  • Title Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe
  • Author Sriram Sankaranarayanan (Editor); Natasha Sharygina (Editor)
  • Binding Paperback
  • Pages 604
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2023-04-20
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783031308192 / 3031308190
  • Weight 1.92 lbs (0.87 kg)
  • Dimensions 9.21 x 6.14 x 1.27 in (23.39 x 15.60 x 3.23 cm)
  • Category Computers - General Information

More Copies for Sale

Tools and Algorithms for the Construction and Analysis of Systems : 29th International...

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
Add to wish list
Item price
A$74.72
A$15.57 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

Show details

Description:
Paperback / softback. New. 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… Read more
Add to wish list
Item price
A$75.50
A$19.40 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
1
Seller
Item price
A$58.35
Free Delivery to USA

Show details

Description:
Springer, 2023. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
Item price
A$58.35
Free Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer...
Stock photo: cover may vary

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
1
Seller
Item price
A$60.84
A$7.28 Delivery to USA

Show details

Description:
Springer, 4/20/2023 12:00:01 A. paperback. Very Good. 1.4173 9.2126 6.1811.
Add to wish list
Item price
A$60.84
A$7.28 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

Show details

Description:
Paperback / softback. New. 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… Read more
Add to wish list
Item price
A$82.34
A$19.40 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

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 2022, Paris, Franc

by Sankaranarayanan, Sriram (Editor)/ Sharygina, Natasha (Editor)

  • Used
Condition
New
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
1
Seller
Item price
A$62.28
A$5.82 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$62.28
A$5.82 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

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 2022, Paris, Franc

by Sankaranarayanan, Sriram (Editor)/ Sharygina, Natasha (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
2
Seller
Item price
A$126.86
A$29.24 Delivery to USA

Show details

Description:
Springer-Nature New York Inc, 2023. Paperback. New. 628 pages. 9.25x6.10x1.27 inches.
Add to wish list
Item price
A$126.86
A$29.24 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference,...
Stock photo: cover may vary

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 2022, Paris, Franc

by Sankaranarayanan, Sriram (Editor)/ Sharygina, Natasha (Editor)

  • New
Condition
New
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
1
Seller
Item price
A$127.73
A$5.82 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$127.73
A$5.82 Delivery to USA
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer...
Stock photo: cover may vary

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

  • New
Condition
New
ISBN 10 / ISBN 13
9783031308192 / 3031308190
Quantity available
4
Seller
Item price
A$127.74
A$5.82 Delivery to USA

Show details

Description:
1st ed. 2023 edition NO-PA16APR2015-KAP. Papeback. New.
Add to wish list
Item price
A$127.74
A$5.82 Delivery to USA