Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Isobe, A
1  Ergebnisse:
Buchkapitel (Print) X
Personensuche X
?
1

Proof principles of CSP 

, In: Dynamics in Logistics / Hans-Dietrich Haasis ; Hans-Jörg Kreowski ; Bernd Scholz-Reiter, eds.
CSP-prover in practice 
Isobe, Yoshinao. (2008)  - p. 425-442
Exemplare: Zentrale; TB BHV; BB WiWi;
 
1-1