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

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of 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

Text

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

SHARYGINA, Natasha - Personal Name; SANKARANARAYANAN, Sriram - Personal Name;

Description Not Available

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: : Springer Nature., 2023
Collation: -
Language
ISBN/ISSN: 978-3-031-30822-2
Classification: NONE
Content Type: text
Media Type: computer
Carrier Type: online resource
Edition: -
Subject(s): -
Specific Detail Info: -
Statement of Responsibility: -

Other Information

Cataloger: oci
Source: -
Validator: -
Digital Object Identifier (DOI): https://doi.org/10.1007/978-3-031-30823-9
Journal Volume: -
Journal Issue: -
Subtitle: -
Parallel Title: -

Other version/related

No other version available

File Attachment

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

Comments

You must be logged in to post a comment