Rajaa
Hakutulokset: a system of logic
Tuote, jota etsit (ISBN 9781357592301)
on loppunut kustantajalta tai ei muusta syystä ole tällä hetkellä saatavilla.
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoiyhteensä 2 hakutulosta
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoiyhteensä 2 hakutulosta
Rajaa
Temporal Logic and State Systems
sidottu,
2008,
englanti,
ISBN 9783540674016
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given …
Temporal Logic and State Systems
nidottu,
2010,
englanti,
ISBN 9783642086809
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given …