Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conferen
135,82 €
The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler".
Jetzt bei Ebay:
