Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg City Luxembourg March 27 – April 1 202

$15.99

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg City Luxembourg March 27 – April 1 202
Authors: Jan Friso Groote
Year: 2021
Publisher: Springer
Language: English
ISBN 13: 9783030720124
ISBN 10: 3030720128
Categories: Computers, Operating Systems
Pages: 320 / 319
Edition:

Availability: 5000 in stock

SKU: 9783030720124 Categories: ,

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 202 Jan Friso Groote, Kim Guldstrand Larsen
Categories:
Computers – Operating Systems
Volume:
Part II
Year:
2021
Publisher:
Springer
Language:
english
Pages:
476
ISBN 10:
3030720128
ISBN 13:
9783030720124
Series:
Lecture Notes in Computer Science, 12652
File:
120 MB

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

Shopping Cart
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg City Luxembourg March 27 – April 1 202
$15.99

Availability: 5000 in stock