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

53.49 EUR
Preis aktualisiert am: 21-04-2026 21:06:11
Siehe Produktangebot
Bezeichner
ISBN 364214537X
MPN 97 black & white illustrations, biograph
Abmessungen / Gewicht
Hauptmerkmale