検索結果 - integration concurrent programming recursion sequential linear

提案スペルによる検索:
integration concurrent » integration concurrency , integration current , integration concept
concurrent programming » constraint programming , concurrent programs
programming recursion » programming decision , programming session , programming decisions
recursion sequential » regression sequential , decisions sequential , reaction sequential
sequential linear » sequential clinical , sequential file

1

表紙画像

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

出版事項 2005

目次: “... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”
全文の入手

電子媒体 eBook