Name: Modelling Distributed Systems
Price: 581.95 DKK
Availability: InStock
Author: Wan Fokkink
ISBN: 9783540739371

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

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

Indbinding:
Hardback

Sideantal:
154

Udgivet:
26. september 2007

Udgave:
2007

Størrelse:
240x164x16 mm.

Vægt:
406 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

På lager

Forlænget returret til d. 31. januar 2025

Kan ikke leveres inden jul.
Køb nu og print et gavebevis

Normalpris

581,95 kr. + Fragt
~~581,95 kr.~~

Medlemspris

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