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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Specification and Verification of Declarative Open Interaction Models

54.99 EUR
Preis aktualisiert am: 20-08-2026 16:18:32
Siehe Produktangebot
Bezeichner
ISBN 364214537X
MPN 97 black & white illustrations, biograph
Abmessungen / Gewicht
Hauptmerkmale