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