This book is currently unavailable on Open Library, check out available alternatives.
An edition of Tools and Algorithms for the Construction and Analysis of Systems (2023)

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, France, April 22-27, 2023, Proceedings, Part II

by and

Tools and Algorithms for the Construction and...
Sriram Sankaranarayanan, Natas...
Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan, Natasha Sharygina, Sriram Sankaranarayanan, Natasha Sharygina
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
August 17, 2023 | History
Edit
An edition of Tools and Algorithms for the Construction and Analysis of Systems (2023)

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, France, April 22-27, 2023, Proceedings, Part II

by and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English

Subjects

Computer science
Edition Availability
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
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, France, April 22-27, 2023, Proceedings, Part II
2023, Springer
in English
  • Nearby Libraries
Cover of: Tools and Algorithms for the Construction and Analysis of Systems
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, France, April 22-27, 2023, Proceedings, Part I
2023, Springer
in English
  • Learn More

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
xxiv, 604
Weight
0.949

Edition Identifiers

Open Library
OL49271663M
ISBN 13
9783031308192

Work Identifiers

Work ID
OL36459413W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author1=Sriram Sankaranarayanan |author2=Natasha Sharygina |date=2023 |title=Tools and Algorithms for the Construction and Analysis of Systems |publisher=Springer |isbn=978-3-031-30819-2 |ol=49271663M}}