Name: Verification of Sequential and Concurrent Programs
Price: 799.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.

Leveringstid: 2-3 uger.
Forventet levering: 22. Maj 2024

Normalpris

799,95 kr. + Fragt
~~799,95 kr.~~

Medlemspris

749,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