Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Hardback

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS by Marieke Huisman - Hardback

AED0.00
(0) Write a Review
SKU:
9781013278396
UPC:
9781013278396

Product Description

ISBN: 9781013278396
TITLE: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
AUTHOR: Marieke Huisman
PUBLISHER: Saint Philip Street Press
PUBLISHER DATE: 9 Oct 2020

Other Details

ISBN:
9781013278396
Author:
Marieke Huisman
Publisher:
Saint Philip Street Press
Publisher Date:
Published:9 Oct 2020
Book Format:
Hardback

Related Products

Popular Trending Products