Name: Verification of Sequential and Concurrent Programs
Price: 1128.95 DKK
Availability: InStock
Author: Ernst-Rüdiger Olderog
ISBN: 9781848827448

Verification of Sequential and Concurrent Programs af Ernst-Rüdiger Olderog

Du sparer 0% ift. normalprisen Spar 0%

Bag om Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

Vis mere

Sprog:
Engelsk

ISBN:
9781848827448

Forlag:
Springer London Ltd

Indbinding:
Hardback

Sideantal:
502

Udgivet:
2. oktober 2009

Udgave:
3200932010

Størrelse:
237x167x32 mm.

Vægt:
922 g.

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

Normalpris

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

Medlemspris

1.078,95 kr.

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

Bag om Ernst-Rüdiger Olderog

Vis alle bøger af Ernst-Rüdiger Olderog

Beskrivelse af Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

Brugerbedømmelser af Verification of Sequential and Concurrent Programs

Andre købte også..

Find lignende bøger

Bogen Verification of Sequential and Concurrent Programs findes i følgende kategorier:

Business og læring > Computer og IT

Verification of Sequential and Concurrent Programs - Ernst-Rüdiger Olderog - Bog

Bag om Ernst-Rüdiger Olderog

Beskrivelse af Verification of Sequential and Concurrent Programs

Brugerbedømmelser af Verification of Sequential and Concurrent Programs

Gør som tusindvis af andre bogelskere