Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Perspectives on Logic and Combinatorics
    Eugenio G. Omodeo; Alberto Policriti; Alexandru I. Tomescu
    978-3-319-54981-1
    2017
    Edition 1
    • Presents a unified view of sets and graphs and their use for natural representation of finite structures
    • Casts combinatorial issues arising at the core of different disciplines in clear computational terms
    • Illustrates automatically computer-checked proof scenarios, made available on the Web
    • Provides a light introduction to formal methods without assuming any prior knowledge

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.