Spara

NASA Formal Methods

häftad

, 2023

Engelska

Serie: Lecture Notes in Computer Science (del 13903)

1 051 kr

Skickas inom 4-7 vardagar

Ej garanterad leverans före julafton

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

Undertitel: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Redaktör: Kristin Yvonne Rozier, Swarat Chaudhuri
Upplaga: 1st ed. 2023
ISBN: 9783031331695
Språk: Engelska
Vikt: 310 gram
Serie: Lecture Notes in Computer Science (del 13903)
Utgivningsdatum: 2023-06-03
Förlag: Springer International Publishing AG
Sidor: 490

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.

NASA Formal Methods

Beskrivning

Produktinfo