Plusbog – for dig, der er vild med bøger

Hos Plusbog kan du både handle som gæst og som Plusbog-medlem.

Er du ikke medlem? Du kan altid købe til vores lave normalpriser uden medlemskab.

Plusbog fordelsklub
Plusbog er en fordelsklub med ekstra medlemsrabat på over 250.000 bøger. De lave medlemspriser og billigere fragt gælder kun for medlemmer. Har du ikke et medlemskab, bliver det automatisk lagt i din indkøbskurv, hvis du køber til medlemspris. Denne pris gælder for medlemmer. Få første 30 dage til kun 1 kr. Binding i 60 dage – samlet mindstepris er 50 kr. Herefter automatisk 49 kr / 30 dage indtil det opsiges.
Se alle fordele her


Plusbog – for dig, der er vild med bøger

Hos Plusbog kan du både handle som gæst og som Plusbog-medlem.

Er du ikke medlem? Du kan altid købe til vores lave normalpriser uden medlemskab.
Plusbog fordelsklub
Plusbog er en fordelsklub med ekstra medlemsrabat på over 250.000 bøger. De lave medlemspriser og billigere fragt gælder kun for medlemmer. Har du ikke et medlemskab, bliver det automatisk lagt i din indkøbskurv, hvis du køber til medlemspris. Denne pris gælder for medlemmer. Få første 30 dage til kun 1 kr. Binding i 60 dage – samlet mindstepris er 50 kr. Herefter automatisk 49 kr / 30 dage indtil det opsiges. Se alle fordele her
Plusbog logo
Vare lagt i kurv
af
Antal:
Vare lagt i kurv
Vi anbefaler også
af

Systems and Software Verification

Systems and Software Verification

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of... læs mere
Vælg format: Hvad er forskellen
Spar 30 kr
1.032 kr
  • Denne pris gælder for medlemmer. Få første 30 dage til kun 1 kr. Binding i 60 dage – samlet mindstepris er 50 kr. Herefter automatisk 49 kr / 30 dage indtil det opsiges.
  • Få altid de nyeste bøger, bestsellers og mere end 250.000 bøger til ekstra lave priser.
  • Lavere fragtpriser.
BEMÆRK! Bogen er på Engelsk
1.062 kr
For dig der ikke ønsker medlemskab.
Leveringstid: 5 - 7 hverdage
90 dages returret
Anmeld bogen

Beskrivelse af Systems and Software Verification

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
Detaljer
Sprog:
Engelsk
ISBN-13:
9783642074783
ISBN-10:
3642074782
Indbinding:
Paperback
Sider:
190
Udg. Dato:
15 dec 2010
Oplagsdato:
15 dec 2010
Udgave:
Softcover reprint of hardcover 1st ed. 2001
Dimensioner:
B: 157mm H: 233mm D: 18mm
Boganmeldelser · Systems and Software Verification
B. Berard, A. Finkel, M. Bidoit, A. Petit, F. Laroussinie, P. Schnoebelen, L. Petrucci
Vær den første til
at anmelde bogen
Skriv en boganmeldelse & VIND
Hver måned udvælger vi 3 vindere:
Den der har skrevet flest anmeldelser
Den, der har skrevet den bedste
Vi trækker lod blandt alle nye anmeldelser