Search results 6
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
- Toc / Article...fuzzy and more Verification of sequential and concurrent programs Refinement calculus : a syste...
- Related Material...fuzzy and more Verification of sequential and concurrent programs Refinement calculus : a syste...
Paper図書
Other Libraries in Japan
- Toc / Article...n introduction Verification of sequential and concurrent programs A logical approach to discret...
- Related Material...n introduction Verification of sequential and concurrent programs A logical approach to discret...
Paper図書
Other Libraries in Japan
- Toc / Article...l introduction Verification of sequential and concurrent programs Fundamentals of parameterized...
- Related Material...l introduction Verification of sequential and concurrent programs Fundamentals of parameterized...
Reached to the end of result.