De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

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.
  • 8-11 hverdage.
  • 15. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: