Tools and Algorithms for the Construction and Analysis of Systems
Author:   Bernhard Steffen ,  Fabrice Kordon ,  Marieke Huisman
Publisher:   Saint Philip Street Press
ISBN:  

9781013271212


Pages:   280
Publication Date:   08 October 2020
Format:   Hardback
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $107.90 Quantity:  
Add to Cart

Share |

Tools and Algorithms for the Construction and Analysis of Systems


Add your own review!

Overview

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Full Product Details

Author:   Bernhard Steffen ,  Fabrice Kordon ,  Marieke Huisman
Publisher:   Saint Philip Street Press
Imprint:   Saint Philip Street Press
Dimensions:   Width: 21.60cm , Height: 1.80cm , Length: 27.90cm
Weight:   0.939kg
ISBN:  

9781013271212


ISBN 10:   1013271211
Pages:   280
Publication Date:   08 October 2020
Audience:   General/trade ,  General
Format:   Hardback
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now