342  10.      

 studentSchedule ()   course   
(course   ,     ).    
   .      (
)    (   ).  studentSchedule ()
 void-,   studentNumber ()    string.

         
().        
 ,      ,      .
,      : changeable, addOnly
 frozen.       . 10.1.  
   : isQuery, sequential, guarded
 concurrent.     . 10.1.  sequential, guarded
 concurrent      . 
sequential  ,     -
    .      .
 guarded       
.   guarded- ,     -
     .  concurrent  ,
    . ,   -
  guarded  concurrent,   . 
    ,    .

 10.1.    

  

{changeable}             


(addOnly}           ,     >1, 
  .  
   

{frozen}                 

 

{isQuery}                 
.    

{sequential}             -
      .
       -
   

{guarded}               
  ;   

{concurrent}         )'    ;

    