Modelling Distributed Systems (inbunden, eng)

Name: Modelling Distributed Systems (inbunden, eng)
Brand: Springer-Verlag Berlin and Hei
SKU: 118227495
Price: 419 SEK
Availability: InStock

419 kr

Få kvar

Fre, 1 nov - mån, 4 nov

Säker betalning

Nöjd kund-löfte

30 dagars öppet köp

💯

Toppfynd

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types.

The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author''s website.

Format Inbunden Omfång 154 sidor Språk Engelska Förlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Utgivningsdatum 2007-09-26 ISBN 9783540739371

Vikt, gram

500

Artikel.nr.

51a7e355-bfca-43c1-b508-0461df752040

Fyndiq har inget eget lager utan arbetar med enskilda butiker som lagerhåller produkter i och utanför Sverige, Europeiska unionen (EU) och Europeiska ekonomiska samarbetsområdet (EES).

Din beställning skickas från respektive butiks egna lager inom 24 timmar (helgfri måndag till fredag) från det att Fyndiq har bekräftat köpet med en beställningsbekräftelse till dig.

Produkterna levereras till dig inom 1-21 arbetsdagar, beroende på produkt, antingen direkt i din brevlåda eller till ditt närmsta ombud. Om du beställt produkter från olika butiker så skickas de i separata paket.
Beräknat leveransdatum ser du alltid på produktkortet och i din beställningsbekräftelse.

Snabbare leverans
Snabbare leverans, uppges på produkter vars beräknad leveranstid är mellan 1-3 arbetsdagar

Längre leveranstid
Längre leveranstid, uppges på produkter vars beräknad leveranstid är mer än 13 arbetsdagar

Fraktkostnad
Frakten kostar endast 29 kr! Det tillkommer inga ytterligare frakt- eller leveranskostnader efter köpet.

Springer-Verlag Berlin and Hei