Specifying Systems: The TLA+ Language and Tools for Hardware and Software ... Addison-Wesley Longman Publishing Co., Inc. 75 Arlington Street, ...
確定! 回上一頁