• 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

10% studentrabatt med kod TERM26

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 @ CookiesAnpassa 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. Hårdvara

      Formal Methods for Hardware Verification

      6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

      AvAlessandro Cimatti,Marco Bernardo

      E-bok
      PDF, Engelska, 2006

      732 kr

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

      Produktinformation

      • Utgivningsdatum:2006-11-25
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540343059
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      University Press of Florida - Guide and Reference to the Amphibians of Eastern and Central North America (North of Mexico), Häftad

      Guide and Reference to the Amphibians of Eastern and Central North America (North of Mexico)

      University Press of Florida

      Häftad, 2006

      342 kr

      Terry R. Bacon - What People Want, E-bok

      What People Want

      Terry R. Bacon

      E-bok
      2006

      44 kr

      John O'Sullivan - President, the Pope, and the Prime Minister, E-bok

      President, the Pope, and the Prime Minister

      John O'Sullivan

      E-bok
      2006

      244 kr

      Gary Sleeper - I'll Do My Own Damn Killing, E-bok

      I'll Do My Own Damn Killing

      Gary Sleeper

      E-bok
      2006

      168 kr

      John J. Nance - Last Hostage, Ljudbok

      Last Hostage

      John J. Nance

      Ljudbok
      2006

      572 kr

      Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification, Häftad

      Formal Methods for Hardware Verification

      Marco Bernardo, Alessandro Cimatti

      Häftad, 2006

      566 kr

      Emmanuel Paradis - Analysis of Phylogenetics and Evolution with R, E-bok

      Analysis of Phylogenetics and Evolution with R

      Emmanuel Paradis

      E-bok
      2006

      821 kr

      Emanuel Carnevali, Dennis Barone - Furnished Rooms, Häftad

      Furnished Rooms

      Emanuel Carnevali, Dennis Barone

      Häftad, 2006

      146 kr

      Marjan Sirjani, Alessandro Cimatti - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Marjan Sirjani, Alessandro Cimatti

      E-bok
      2017

      734 kr

      Howard Colyer - Gallery, Häftad

      Gallery

      Howard Colyer

      Häftad, 2006

      140 kr