---

Information om Model Checking Software

Här hittar du all information du kan tänkas vilja veta kring Model Checking Software. Boken är skriven av författaren Bernd Fischer. Springer International Publishing AG är ansvarigt utgivande bokförlag och därmed de som gav ut boken. Utgivningsdatumet för Model Checking Software var 2015-08-20.

Originalspråket som Bernd Fischer skrev och gav ut boken på var Engelska. Dess genre är Programmeringsspråk & skriptspråk vilket ger den som SAB. Boken finns i flera olika versioner men dess vanligaste format är Häftad (Paperback / softback).

Om du vill läsa Model Checking Software i traditionell inbundet format så består den av 319 antal sidor. Dess fysiska dimensioner är 234 x 156 x 18 mm och den väger så mycket som 477 g. Model Checking Software ISBN är . Model Checking Software är en fristående bok .

---

Läs Model Checking Software som bok

För dig som vill köpa och läsa Model Checking Software som traditionell bok i inbundet- eller pocketformat rekommenderar vi att köpa den hos antingen Bokus eller Adlibris. Rekommenderat pris är 559 men det kan komma att ändras snabbt. Klicka in hos respektive bokhandel ovan för att se aktuellt pris och enkelt beställa hem boken.

Lyssna på Model Checking Software som ljudbok

Vill du lyssna på Model Checking Software som ljudbok? Då rekommenderar vi att du skapar ett konto hos Bookbeat eller Nextory som är de två ledande och klart bästa tjänsterna för dig som lyssnar på ljudböcker. Klicka in till respektive ljudbokstjänst ovan och skapa ditt konto redan idag! 

Läs Model Checking Software som e-bok

Är du ägare av en läsplatta eller gillar du att läsa böcker via datorn eller surfplattan? Hos Bokus och Adlibris kan du enkelt och smidigt köpa Model Checking Software som e-bok. Klicka in till respektive bokhandel ovan och beställ enkelt och billigt din e-bok.

Fri frakt

Vill du köpa Model Checking Software med fri frakt? Hos Bokus köper du böcker med fri frakt om du handlar för 99kr eller mer! Handlar du för mindre kostar frakten 15kr med 3 vardagar som uppskattad leveranstid. Vill du köpa Model Checking Software med expressleverans på 1-2 vardagar kostar det 25kr.

---

Förlagets text om boken:  

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Buchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Utgivande förlag: Springer International Publishing AG