• 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. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematisk statistik

      Coalgebraic Methods in Computer Science

      12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

      AvMarcello M. Bonsangue

      E-bok
      PDF, Engelska, 2014

      638 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

      This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

      Produktinformation

      • Utgivningsdatum:2014-08-19
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783662441244
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Matematisk statistik inom Naturvetenskap och teknik
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Marcello M. Bonsangue, Eric Madelaine - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Eric Madelaine

      Häftad, 2009

      581 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2004

      739 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2006

      739 kr

      Marcello M. Bonsangue, Einar Broch Johnsen - Formal Methods for Open Object-Based Distributed Systems, Häftad

      Formal Methods for Open Object-Based Distributed Systems

      Marcello M. Bonsangue, Einar Broch Johnsen

      Häftad, 2007

      581 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2005

      739 kr

      Chutiporn Anutariya, Marcello M. Bonsangue - Theoretical Aspects of Computing – ICTAC 2024, Häftad
      Del 15373

      Theoretical Aspects of Computing – ICTAC 2024

      Chutiporn Anutariya, Marcello M. Bonsangue

      Häftad, 2024

      852 kr

      Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

      Häftad, 2008

      581 kr

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

      E-bok
      2008

      739 kr

      Chutiporn Anutariya, Marcello M. Bonsangue - Data Science and Artificial Intelligence, Häftad

      Data Science and Artificial Intelligence

      Chutiporn Anutariya, Marcello M. Bonsangue

      Häftad, 2023

      1 385 kr

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert - Formal Methods for Components and Objects, E-bok

      Formal Methods for Components and Objects

      Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Bernhard Beckert

      E-bok
      2013

      734 kr