熱門搜尋

    【我要重新搜尋】

    您輸入的關鍵字: Peter Csaba

    分類(單選)
    顯示所有篩選
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 13 筆, 頁數 1 / 1

    Formal Techniques for Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revise

    Formal Techniques for Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revise

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Technique... more
    放入購物車 下次再買
    Formal Techniques for Safety-critical Systems: Third International Workshop, Ftscs 2014, Selected Papers

    Formal Techniques for Safety-critical Systems: Third International Workshop, Ftscs 2014, Selected Papers

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... more
    放入購物車 下次再買
    Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--3

    Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--3

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... more
    放入購物車 下次再買
    Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cy

    Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held As a Satellite Event of ETAPS 2010, Paphos, Cy

    • 優惠價: 3299 元

    Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Ap... more
    放入購物車 下次再買
    Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings

    Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings

    • 優惠價: 5099 元

    This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of... more
    放入購物車 下次再買
    Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape

    Formal Techniques for Safety-Critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the 6th International Workshop on Formal Technique... more
    放入購物車 下次再買
    Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

    Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspe... more
    放入購物車 下次再買
    Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

    Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

    • 優惠價: 3299 元

    This book constitutes the refereed proceedings of the 5th International Workshop on Formal Technique... more
    放入購物車 下次再買
    Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

    Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

    • 優惠價: 3299 元

    This book constitutes the revised selected papers from the 12th International Conference on Formal A... more
    放入購物車 下次再買
    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

    • 優惠價: 3299 元
    放入購物車 下次再買
    Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

    Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

    • 優惠價: 3299 元

    This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of... more
    放入購物車 下次再買
    Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

    Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

    • 優惠價: 4799 元

    Introduces formal modeling of abstract data types and distributed systems Does not assume or require... more
    可訂購時通知我
    Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings

    Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings

    • 優惠價: 3299 元
    可訂購時通知我

    搜尋推薦

    另外從您輸入的關鍵字中，推薦您關鍵字: petergay 的結果(請點選看全部符合的商品)

    您可能感興趣的活動

    • 2025邀請新朋友，推薦禮回饋無上限