Items related to Tools and Algorithms for the Construction and Analysis...
Synopsis
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."synopsis" may belong to another edition of this title.
- PublisherSaint Philip Street Press
- Publication date2020
- ISBN 10 1013271211
- ISBN 13 9781013271212
- BindingHardcover
- LanguageEnglish
- Number of pages280
Search results for Tools and Algorithms for the Construction and Analysis...
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2317530131431
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9781013271212
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9781013271212
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781013271212_new
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 216. Seller Inventory # C9781013271212
Quantity: Over 20 available
Seller Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271211
ISBN 13: 9781013271212
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. KlappentextrnrnThis 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 too. Seller Inventory # 447148832
Quantity: Over 20 available