Temporal Logic and State Systems
Szerző:
Fred Kröger, Stephan Merz
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
29 044
Ft
Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica...
