Spara

Systems and Software Verification

Författare:

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen

inbunden, 2001

Engelska

1 508 kr

Skickas inom 5-7 vardagar

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.

Undertitel: Model-Checking Techniques and Tools
Författare: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Översättare: P. McKenzie
Upplaga: 2001 ed.
ISBN: 9783540415237
Språk: Engelska
Vikt: 446 gram
Utgivningsdatum: 2001-06-20
Förlag: Springer-Verlag Berlin and Heidelberg GmbH Co. K
Sidor: 190

Leverans

Gratis ekonomifrakt för privatpersoner från 249 kr. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, och hemleverans. Vilka leveransalternativ som är tillgängliga för dig framgår i kassan. Leveranstiden kan variera beroende på leveranssätt, adress, och om din beställning innehåller produkter med längre leveranstider. Den totala leveranstiden visas i kassan.

City Mail

Betalning

Du kan välja att betala med Apple Pay, kort (Visa eller Mastercard), eller via Klarna där du kan betala med Swish, kort, direktbetalning, faktura eller delbetalning. Genom att klicka på "Betala köp" godkänner du Kustoms och Adlibris allmänna villkor. Du kan ta del av hur dina personuppgifter behandlas i Adlibris personuppgiftspolicy, och i Kustoms dataskyddsinformation.

Returer

Hos Adlibris har du alltid 28 dagars ångerrätt från det att du mottagit din produkt. Returavgiften är 59 kr. Nedladdningsbara produkter omfattas inte av ångerrätten eftersom de levereras direkt efter köpet. För mer information om returer, återbetalning och reklamation, läs våra köpvillkor.

Systems and Software Verification

Beskrivning

Produktinfo