Tools and Algorithms for the Construction and Analysis of Systems

Author : Jan Friso Groote,Kim Guldstrand Larsen

Paperback

Published : Tuesday 23 March 2021

ISBN : 9783030720124

Price : €40.94

Description

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

You may also like ...

Tools and Algorithms for the Constructi...

by Jan Friso Groote,Kim Guldstrand Larsen

Paperback

23 Mar 2021

Computer hardware

€40.94

Extended stock – Dispatch 5-7 days

Tools and Algorithms for the Constructi...

by Jan Friso Groote,Kim Guldstrand Larsen

Paperback

20 Mar 2021

Algorithms and data structures

€40.94

Extended stock – Dispatch 5-7 days

The Complete Fiction of Nella Larsen

by Nella Larsen

Hardback

18 Apr 2023

Classic fiction: general and literary

€26.91

Extended stock – Dispatch 5-7 days

Larsen's Human Embryology

by Gary C. Schoenwolf,Steven B. Bleyl

Paperback

23 Feb 2021

Embryology

€77.21

Extended stock – Dispatch 5-7 days

Reviews