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

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:
9781447125136

Forlag:
Springer London Ltd

Indbinding:
Paperback

Sideantal:
502

Udgivet:
4. marts 2012

Udgave:
32009

Størrelse:
233x156x28 mm.

Vægt:
746 g.

BLACK WEEK
925,95 kr.
~~925,95 kr.~~

Gratis fragt

Leveringstid: 8-11 hverdage

Forventet levering: 9. december 2024

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

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