Udvidet returret til d. 31. januar 2025

Applied Logic for Computer Scientists

- Computational Deduction and Formal Proofs

Bag om Applied Logic for Computer Scientists

A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783319516516
  • Indbinding:
  • Paperback
  • Sideantal:
  • 150
  • Udgivet:
  • 13. februar 2017
  • Udgave:
  • 12017
  • Vægt:
  • 2642 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

Beskrivelse af Applied Logic for Computer Scientists

A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Brugerbedømmelser af Applied Logic for Computer Scientists



Find lignende bøger
Bogen Applied Logic for Computer Scientists findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.