Your search returned 2 results.

Sort
Results
Local vs global logics for analyzing message sequence charts (R)

by Leela Surya Narayana, D | Adsul, Bharat G.

Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2011Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:517.1Lee.

Synthesizing distributed implementation from global specification (R)

by Das, Rathish | Adsul, Bharat G.

Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2011Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:681.3.06Das.

Pages

Powered by Koha