scanf - to read input from the standard input stream. DESCRIPTION There is no routine in Promela comparable to the C library function scanf ...
確定! 回上一頁