Tools and Algorithms for the Construction and Analysis of Systems
Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke
ISBN 10: 1013271203 ISBN 13: 9781013271205
Published by Saint Philip Street Press, 2020
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 25 March 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9781013271205_new
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Tools and Algorithms for the Construction ...
Publisher: Saint Philip Street Press
Publication Date: 2020
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLING22Oct2517050060855
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42174496-n
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781013271205
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press 2020-10, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9781013271205
Buy New
£ 41.14
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42174496
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Saint Philip Street Press, 2020
ISBN 10: 1013271203
ISBN 13: 9781013271205
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42174496-n
Buy New
£ 43.62
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. 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 # L0-9781013271205
Buy New
£ 43.86
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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: 1013271203
ISBN 13: 9781013271205
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781013271205
Buy New
£ 47.55
£ 12.91 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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: 1013271203
ISBN 13: 9781013271205
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42174496
Buy Used
£ 47.63
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Tools and Algorithms for the Construction and Analysis of Systems
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781013271205