Name: QED at Large
Price: 1063.95 DKK
Availability: InStock
Author: Talia Ringer
ISBN: 9781680835946

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.063,95 kr.

Bag om QED at Large

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Vis mere

Sprog:
Engelsk

ISBN:
9781680835946

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
194

Udgivet:
3. september 2019

Størrelse:
293x234x14 mm.

Vægt:
306 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 30. november 2024

På lager

Normalpris

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

Medlemspris

1.013,95 kr.

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

Bag om Talia Ringer

Vis alle bøger af Talia Ringer

Beskrivelse af QED at Large

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Brugerbedømmelser af QED at Large

Andre købte også..

Find lignende bøger

Bogen QED at Large findes i følgende kategorier:

Business og læring > Computer og IT

QED at Large - Talia Ringer - Bog

Bag om Talia Ringer

Beskrivelse af QED at Large

Brugerbedømmelser af QED at Large

Gør som tusindvis af andre bogelskere