Name: Modelling Distributed Systems
Price: 576.95 DKK
Availability: InStock
Author: Wan Fokkink
ISBN: 9783642093210

Modelling Distributed Systems af Wan Fokkink

Du sparer 0% ift. normalprisen Spar 0%

Bag om Modelling Distributed Systems

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Vis mere

Sprog:
Engelsk

ISBN:
9783642093210

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
154

Udgivet:
18. november 2010

Udgave:
12007

Størrelse:
234x156x8 mm.

Vægt:
260 g.

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

Normalpris

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

Medlemspris

526,95 kr.

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

Bag om Wan Fokkink

Vis alle bøger af Wan Fokkink

Beskrivelse af Modelling Distributed Systems

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Brugerbedømmelser af Modelling Distributed Systems

Andre købte også..

Find lignende bøger

Bogen Modelling Distributed Systems findes i følgende kategorier:

Business og læring > Computer og IT

Modelling Distributed Systems - Wan Fokkink - Bog

Bag om Wan Fokkink

Beskrivelse af Modelling Distributed Systems

Brugerbedømmelser af Modelling Distributed Systems

Gør som tusindvis af andre bogelskere