De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Applied Logic for Computer Scientists

Applied Logic for Computer Scientists

- Computational Deduction and Formal Proofs

af Mauricio Ayala-Rincon, Flavio L. C. de Moura

indgår i Undergraduate Topics in Computer Science serien

Applied Logic for Computer Scientists af Mauricio Ayala-Rincon
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.
  • 6. december 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.

Bag om Mauricio Ayala-Rincon

Vis alle bøger af Mauricio Ayala-Rincon

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



Andre købte også..
Find lignende bøger
Bogen Applied Logic for Computer Scientists findes i følgende kategorier: