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ä antoi yksi hakutulos.
Etsimme kuitenkin kirjoja hakusanalla a system of logic , mikä antoi yksi hakutulos.
Rajaa
Logics and Models of Concurrent Systems
nidottu,
2011,
englanti,
ISBN 9783642824555
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as …