TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

Name: TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Dirk Beyer

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

184

Release Date:

2024-11-01

Publication Date:

2024-11-01

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3031676947

GPSR Manufacturer Reference:

[email protected]

Weight:

286 g

Currently sold out