مرکز منطقه ای اطلاع رساني علوم و فناوري - Specification and proof in real-time CSP : by Jim DAVIES. Distinguished Dissertation in Computer Science Series; Cambridge University Press; Cambridge, UK; 1993; xviii + 180 pp.; $49.95; ISBN: 0-521-45055-1

Title of article :

Specification and proof in real-time CSP : by Jim DAVIES. Distinguished Dissertation in Computer Science Series; Cambridge University Press; Cambridge, UK; 1993; xviii + 180 pp.; $49.95; ISBN: 0-521-45055-1

Author/Authors :

Janusz Zalewski، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1996

Pages :

From page :

580

To page :

581

Journal title :

Electric Power Systems Research

Serial Year :

1996

Journal title :

Electric Power Systems Research

Record number :

372021

Link To Document :

https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=372021