R.J. De Queiroz – författare
Visar alla böcker från författaren R.J. De Queiroz. Handla med fri frakt och snabb leverans.
3 produkter
Logic for Concurrency and Synchronisation
E-bok, 2006
1459 kr
Lägg i varukorg
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- …
Logic for Concurrency and Synchronisation
Inbunden, 2003
1098 kr
Lägg i varukorg
The study of information-based actions and processes is a vibrant interface between logic and computer science. The individual chapters of this book show the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. …
Logic for Concurrency and Synchronisation
Häftad, 2013
1098 kr
Lägg i varukorg
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- …
