Formal Methods and Software Engineering: 20th International Conference on Formal
75,05 €
Network systems. - Type theory. - Theorem proving. - Logic and semantics. - Doctoral symposium. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
Jetzt bei Ebay:
