Name: Applied Logic for Computer Scientists
Price: 649.95 DKK
Availability: InStock
Author: Mauricio Ayala-Rincon
ISBN: 9783319516516

Applied Logic for Computer Scientists af Mauricio Ayala-Rincon

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
649,95 kr.

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

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
150

Udgivet:
13. februar 2017

Udgave:
12017

Vægt:
2642 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

På lager

Normalpris

BLACK NOVEMBER
649,95 kr. + Fragt
~~649,95 kr.~~

Medlemspris

599,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Applied Logic for Computer Scientists - Mauricio Ayala-Rincon - Bog

Bag om Mauricio Ayala-Rincon

Beskrivelse af Applied Logic for Computer Scientists

Brugerbedømmelser af Applied Logic for Computer Scientists

Gør som tusindvis af andre bogelskere