Isbn: 9786137451151 (2 resultados)

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A. William 'Bill' Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford. Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A. William 'Bill' Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford. Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.OmniScriptum SRL, Str. Armeneasca 28/1, office 1, 2012 Chisinau 68 pp. Englisch.…