Spara

Automated Technology for Verification and Analysis

Skickas inom 4-8 vardagar

Förlängt öppet köp till 31 januari 2026

The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

Undertitel: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Redaktör: Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan
Upplaga: 2008 ed.
ISBN: 9783540883869
Språk: Engelska
Vikt: 310 gram
Serie: Lecture Notes in Computer Science (del 5311)
Utgivningsdatum: 2008-10-06
Förlag: Springer-Verlag Berlin and Heidelberg GmbH Co. K
Sidor: 430

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

Förlängt öppet köp på julklappar fram till 31 januari 2026. 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.

Automated Technology for Verification and Analysis

Beskrivning

Produktinfo