• 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
  • Skönlitteratur
  • Deckare
  • Barn och ungdom
  • Samhälle och politik
  • Psykologi och pedagogik
  • Fantasy, SciFi och skräck
  • Hälsa och familj
  • Biografier
  • Ekonomi och Ledarskap
  • Kultur
  • Mat och dryck
  • Historia och arkeologi
  • Naturvetenskap och teknik
  • Medicin
  • Filosofi och religion
  • Pennor och tillbehör
  • Sport, fritid och hobby
  • Läromedel
  • Juridik
  • Tecknade serier
  • Spel och pussel
  • Språk och ordböcker
  • Djur och Natur
  • Ande, kropp och själ
  • Kalender
  • Anteckning
  • Reseguider
  • Hem och Trädgård
  • Data och IT
  • Kort, Kuvert och Brevpapper
  • Måla och pyssla
  • Kontorsmaterial
  • Lästillbehör
  • Romaner
  • Romance
  • Feelgood
  • Essäer
  • Noveller
  • Action och Äventyrsromaner
  • Komedi
  • Litteraturvetenskap
  • Poesi
  • Dramatik
  • Myter
  • Erotiska böcker
  • Antologier
  • Folksagor
  • Sagor
  • Polisromaner
  • Thriller
  • Deckare
  • Mysdeckare
  • Psykologisk spänning
  • Historiska deckare
  • Klassiska deckare
  • Barnböcker 3-6 år
  • Barnböcker 6-9 år
  • Barnböcker 9-12 år
  • Barnböcker 0-3 år
  • Faktaböcker
  • Kapitelböcker
  • Pysselböcker
  • Böcker 12-15 år
  • Lättlästa barnböcker
  • Ungdomsböcker
  • Böcker om känslor
  • Klassiska barnböcker
  • Populära teman
  • Kokböcker för barn
  • Presentböcker
  • Godnattsagor
  • Samhälle och kultur
  • Politik och statsskick
  • Social välfärd och brottslighet
  • Sociologi och antropologi
  • Reportage, journalistik och krönikor
  • Krig och försvar
  • Psykologi
  • Pedagogik
  • Fantasy
  • Science fiction
  • Skräck
  • Hälsa
  • Självhjälp och praktiska råd
  • Relationer
  • Föräldraböcker
  • Självförsörjning och grön livsstil
  • Prepping och överlevnadskunskap
  • Sanna berättelser
  • Biografier
  • Självbiografier och Memoarer
  • Tal
  • Företagsekonomi
  • Ledarskapsböcker
  • Nationalekonomi
  • Industrier och branscher
  • Karriärplanering
  • Privatekonomi
  • Musikböcker
  • Konstböcker
  • Arkitektur
  • Designböcker
  • Fotoböcker
  • Scenkonst och film
  • Kokböcker
  • Kokböcker från kända kockar
  • Drycker
  • Tobak
  • Historia
  • Arkeologi
  • Matematik och naturvetenskap
  • Geovetenskap
  • Teknik och industri
  • Andra medicinska specialiteter
  • Omvårdnad och medicinska stödfunktioner
  • Medicin: allmänt
  • Klinisk medicin och internmedicin
  • Medicin: icke kliniska discipliner
  • Medicinska studiehandledningar och referensmaterial
  • Kirurgi
  • Alternativ medicin och terapier
  • Veterinärmedicin
  • Religion och tro
  • Filosofi
  • Pennor
  • Penntillbehör
  • Hantverk och handarbete
  • Sportböcker
  • Hobby, spel och lekar
  • Humor och presentböcker
  • Fordonsböcker
  • Fest och bröllop
  • Fiske, jakt och skytte
  • Livsstil och stilguider
  • Antikviteter och samlarobjekt
  • Läromedel: matematik och naturvetenskap
  • Läromedel: språk
  • Läromedel: yrkesutbildning och övriga ämnen
  • Läromedel: samhälle och humaniora
  • Läromedel: estetiska ämnen
  • Läromedel: studiehandledningar och handböcker
  • Särskilda rättsområden
  • Rättsvetenskap
  • Lagtextsamlingar, lagböcker
  • Internationell rätt
  • Juridik: handböcker
  • Tecknade serier och romaner
  • Manga
  • Spel
  • Pussel
  • Leksaker
  • Språk: referensverk och allmänt
  • Språkundervisning och språkinlärning
  • Språkvetenskap och lingvistik
  • Djurböcker
  • Naturböcker
  • Ande, kropp och själ
  • Övernaturliga fenomen / det paranormala
  • Kalender och almanacka
  • Adventskalender
  • Anteckningsböcker och block
  • Notisblock och flikar
  • Anteckning för barn
  • Gästböcker och adressböcker
  • Reseböcker
  • Kartböcker
  • Parlörer
  • Trädgårdsböcker
  • Hus och hem
  • Heminredning
  • Systemvetenskap och AI
  • Programmeringsböcker
  • Informationsteknik: allmänt
  • Grafik och bildbehandling
  • Databaser
  • Digital livsstil och datorspel
  • Affärsapplikationer
  • Människa – datorinteraktion
  • IT-säkerhet
  • Operativsystem
  • Nätverk och kommunikation
  • It-certifieringar
  • Tillämpad datateknik
  • Hårdvara
  • Kort
  • Kuvert
  • Brevpapper
  • Etiketter
  • Placeringskort
  • Pyssel & DIY
  • Kreativitet
  • Måla och teckna
  • Fotoalbum och tillbehör
  • Skrivbordsförvaring
  • Skrivbordsprodukter
  • Arkivering och bokföring
  • Kopieringspapper
  • Bokmärken
  • Bokstöd och Book Nook
  • Läsglasögon
  • Läslampor

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. Naturvetenskap och teknik
      2. Teknik och industri
      3. Elektronik och kommunikationer

      Formal Description Techniques and Protocol Specification, Testing and Verification

      FORTE X / PSTV XVII ’97

      AvTeruo Higashino,Norio Shiratori

      E-bok
      PDF, Engelska, 2013

      2 862 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      FORTE/PSTV ''97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

      Produktinformation

      • Utgivningsdatum:2013-06-05
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9780387352718
      • Förlag:Springer US

      Utforska kategorier

      • Elektronik och kommunikationer inom Naturvetenskap och teknik
      • Hårdvara inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Norio Shiratori, Teruo Higashino, Tadanori Mizuno - Protocol Test Systems, E-bok

      Protocol Test Systems

      Norio Shiratori, Teruo Higashino, Tadanori Mizuno

      E-bok
      2013

      2 065 kr

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori - Protocol Test Systems, Inbunden

      Protocol Test Systems

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori

      Inbunden, 1995

      1 679 kr

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino - Formal Description Techniques and Protocol Specification, Testing and Verification, Inbunden

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

      Inbunden, 1997

      2 304 kr

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino - Formal Description Techniques and Protocol Specification, Testing and Verification, Häftad

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

      Häftad, 2013

      2 237 kr

      Tadanori Mizuno, Teruo Higashino - Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems, Övrigt

      Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

      Tadanori Mizuno, Teruo Higashino

      652 kr

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori - Protocol Test Systems, Häftad

      Protocol Test Systems

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori

      Häftad, 2013

      1 679 kr

      Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita - Stabilization, Safety, and Security of Distributed Systems, Häftad
      Del 8255

      Stabilization, Safety, and Security of Distributed Systems

      Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita

      Häftad, 2013

      579 kr

      Masafumi Yamashita, Maria Potop-Butucaru, Toshimitsu Masuzawa, Yoshiaki Katayama, Teruo Higashino - Stabilization, Safety, and Security of Distributed Systems, E-bok

      Stabilization, Safety, and Security of Distributed Systems

      Masafumi Yamashita, Maria Potop-Butucaru, Toshimitsu Masuzawa, Yoshiaki Katayama, Teruo Higashino

      E-bok
      2013

      739 kr

      Teruo Higashino - Principles of Distributed Systems, Häftad

      Principles of Distributed Systems

      Teruo Higashino

      Häftad, 2005

      581 kr

      Teruo Higashino - Principles of Distributed Systems, E-bok

      Principles of Distributed Systems

      Teruo Higashino

      E-bok
      2005

      739 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino - Formal Description Techniques and Protocol Specification, Testing and Verification, Inbunden

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

      Inbunden, 1997

      2 304 kr

      Norio Shiratori, Teruo Higashino, Tadanori Mizuno - Protocol Test Systems, E-bok

      Protocol Test Systems

      Norio Shiratori, Teruo Higashino, Tadanori Mizuno

      E-bok
      2013

      2 065 kr

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori - Protocol Test Systems, Häftad

      Protocol Test Systems

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori

      Häftad, 2013

      1 679 kr

      Atsushi Togashi, Tadanori Mizuno - Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97, Övrigt

      Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97

      Atsushi Togashi, Tadanori Mizuno

      652 kr

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino - Formal Description Techniques and Protocol Specification, Testing and Verification, Häftad

      Formal Description Techniques and Protocol Specification, Testing and Verification

      Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

      Häftad, 2013

      2 237 kr

      Tadanori Mizuno, Teruo Higashino - Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems, Övrigt

      Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

      Tadanori Mizuno, Teruo Higashino

      652 kr

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori - Protocol Test Systems, Inbunden

      Protocol Test Systems

      Tadanori Mizuno, Teruo Higashino, Norio Shiratori

      Inbunden, 1995

      1 679 kr

      Teruo Higashino - Principles of Distributed Systems, E-bok

      Principles of Distributed Systems

      Teruo Higashino

      E-bok
      2005

      739 kr

      Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura - Automated Technology for Verification and Analysis, Häftad

      Automated Technology for Verification and Analysis

      Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

      Häftad, 2007

      581 kr

      Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino, Kenji Suzuki - Formal Techniques for Networked and Distributed Systems - FORTE 2008, E-bok

      Formal Techniques for Networked and Distributed Systems - FORTE 2008

      Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino, Kenji Suzuki

      E-bok
      2008

      734 kr