Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic,
暫譯: 系統建構與分析的工具與演算法：Tacas 25年：作為2019年捷克布拉格Etaps的一部分的Toolympics

Name: Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic,
Price: 2480 TWD
Availability: OnlineOnly
Author: Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice
ISBN: 3030175014

Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic,

出版商: Springer
出版日期: 2019-04-04
售價: $2,610
貴賓價: 9.5 折 $2,480
語言: 英文
頁數: 258
裝訂: Quality Paper - also called trade paper
ISBN: 3030175014
ISBN-13: 9783030175016
相關分類: Algorithms-data-structures

海外代購書籍(需單獨結帳)

商品描述

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.

商品描述(中文翻譯)

本書在 CC BY 授權下為開放存取。
本書 LNCS 11429 是第 25 屆國際工具與演算法建構與分析系統會議（TACAS 2019）會議錄的第三部分，該會議於 2019 年 4 月在捷克共和國布拉格舉行，並作為 2019 年歐洲軟體理論與實踐聯合會議（ETAPS 2019）的一部分。這是為了慶祝 TACAS 25 週年而特別出版的卷。