Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series - Wan Fokkink - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642093210 - 18 november 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Wan Fokkink
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2007 edition

Prijs
€ 49,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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.

162 pages, 7 black & white tables, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 18 november 2010
ISBN13 9783642093210
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 154
Afmetingen 155 × 235 × 8 mm   ·   240 g
Taal en grammatica Engels  

Meer door Wan Fokkink

Alles tonen

Bekijk alles van Wan Fokkink ( bijv. Hardcover Book en Paperback Book )