Specification and Verification of Declarative Open

金融、投资

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing)

Hardcover: 411 pages

Publisher: Springer (July 30, 2010)

Language: English

ISBN-10: 364214537X

代发服务PDF电子书10立即求助