Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach | Kaicus Deutschland

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

54.99 EUR

ISBN: 364214537X
MPN: 97 black & white illustrations, biograph
SKU: 9783642145377
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen