Search Results       Your search for [subject]Formal methods (Computer science) returned 1 record.           Formalization of process Algebra with data in the calculus of constructions with inductive types. by Kamsteeg, Gertjan.; Leiden: Netherlands, 1999. Subject: Algebra -- Data processing; Formal methods (Computer science); Parallel processing (Electronic computers).          Add to Book Cart Relevance: 18.38%