• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Nätverk och kommunikation

      Distributed Systems

      Methods and Tools for Specification. An Advanced Course

      AvM.W. Alford,J.P. Ansart

      Häftad, Engelska, 1985

      Del i serien Lecture Notes in Computer Science

      577 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Utgivningsdatum:1985-04-01
      • Mått:155 x 235 x 32 mm
      • Vikt:873 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:576
      • Upplaga:1985
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540152163

      Utforska kategorier

      • Nätverk och kommunikation inom Data och IT

      Innehållsförteckning

      • Basic concepts.- Acquisition — environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
      Hoppa över listan

      Mer från samma serie

      Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński - Multiobjective Optimization, Häftad

      Multiobjective Optimization

      Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

      Häftad, 2008

      560 kr

      Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad
      Del 16297

      Knowledge Graphs

      Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

      Häftad, 2026

      942 kr

      Alexandros Moukas, Carles Sierra, Fredrik Ygge - Agent Mediated Electronic Commerce II, Häftad

      Agent Mediated Electronic Commerce II

      Alexandros Moukas, Carles Sierra, Fredrik Ygge

      Häftad, 2000

      577 kr

      Xiaofeng Chen, Haibo Hu, Ding Wang - Data Security and Privacy Protection, Häftad
      Del 16177

      Data Security and Privacy Protection

      Xiaofeng Chen, Haibo Hu, Ding Wang

      Häftad, 2025

      566 kr

      Graham Hutton - Mathematics of Program Construction, Häftad
      Del 11825

      Mathematics of Program Construction

      Graham Hutton

      Häftad, 2019

      577 kr

      Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer - Computers and Games, Häftad
      Del 15550

      Computers and Games

      Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer

      Häftad, 2025

      748 kr

      Michael Hartisch, Chu-Hsuan Hsueh, Jaap van den Herik - Advances in Computer Games, Häftad
      Del 16463

      Advances in Computer Games

      Michael Hartisch, Chu-Hsuan Hsueh, Jaap van den Herik

      Häftad, 2026

      566 kr

      Ying Tan, Yuhui Shi - Advances in Swarm Intelligence, Häftad
      Del 14789

      Advances in Swarm Intelligence

      Ying Tan, Yuhui Shi

      Häftad, 2024

      919 kr

      Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa - Software Security -- Theories and Systems, Häftad

      Software Security -- Theories and Systems

      Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa

      Häftad, 2003

      577 kr

      Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski - Architecting Systems with Trustworthy Components, Häftad

      Architecting Systems with Trustworthy Components

      Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

      Häftad, 2006

      577 kr

      Hoppa över listan

      Du kanske också är intresserad av

      B. Liskov, R. Atkinson, T. Bloom, E. Moss, J. C. Schaffert, R. Scheifler, A. Snyder - CLU, Häftad

      CLU

      B. Liskov, R. Atkinson, T. Bloom, E. Moss, J. C. Schaffert, R. Scheifler, A. Snyder

      Häftad, 1981

      577 kr

      H.J. Siegert - Virtuelle Maschinen, E-bok

      Virtuelle Maschinen

      H.J. Siegert

      E-bok
      2013

      608 kr

      H.J. Siegert - Virtuelle Maschinen, Häftad

      Virtuelle Maschinen

      H.J. Siegert

      Häftad, 1979

      593 kr

      D. Kronig, G. Hommel - Requirements Engineering, E-bok

      Requirements Engineering

      D. Kronig, G. Hommel

      E-bok
      2013

      608 kr

      G. Hommel, Sheng Huanye - Human Interaction with Machines, Inbunden

      Human Interaction with Machines

      G. Hommel, Sheng Huanye

      Inbunden, 2006

      1 113 kr

      Ian Sommerville, Manfred Paul - Software Engineering - ESEC '93, Häftad

      Software Engineering - ESEC '93

      Ian Sommerville, Manfred Paul

      Häftad, 1993

      577 kr

      Manfred Paul - GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro, E-bok

      GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro

      Manfred Paul

      E-bok
      2013

      559 kr

      Sheng Huanye, G. Hommel - Human Interaction with Machines, E-bok

      Human Interaction with Machines

      Sheng Huanye, G. Hommel

      E-bok
      2006

      1 413 kr

      Manfred Paul - Im Aufwind leben, Inbunden

      Im Aufwind leben

      Manfred Paul

      Inbunden

      199 kr

      Hans Langmaack, Manfred Paul - 1. Fachtagung über Programmiersprachen, Häftad
      Del 75

      1. Fachtagung über Programmiersprachen

      Hans Langmaack, Manfred Paul

      Häftad, 1972

      593 kr