KotiRyhmätKeskusteluLisääAjan henki
Etsi sivustolta
Tämä sivusto käyttää evästeitä palvelujen toimittamiseen, toiminnan parantamiseen, analytiikkaan ja (jos et ole kirjautunut sisään) mainostamiseen. Käyttämällä LibraryThingiä ilmaiset, että olet lukenut ja ymmärtänyt käyttöehdot ja yksityisyydensuojakäytännöt. Sivujen ja palveluiden käytön tulee olla näiden ehtojen ja käytäntöjen mukaista.

Tulokset Google Booksista

Pikkukuvaa napsauttamalla pääset Google Booksiin.

Ladataan...

Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

Tekijä: Alex Groce

JäseniäKirja-arvostelujaSuosituimmuussijaKeskimääräinen arvioKeskustelut
2-5,214,938--
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.… (lisätietoja)
Viimeisimmät tallentajatupdgenref
-
Ladataan...

Kirjaudu LibraryThingiin nähdäksesi, pidätkö tästä kirjasta vai et.

Ei tämänhetkisiä Keskustelu-viestiketjuja tästä kirjasta.

Ei arvosteluja
ei arvosteluja | lisää arvostelu
Sinun täytyy kirjautua sisään voidaksesi muokata Yhteistä tietoa
Katso lisäohjeita Common Knowledge -sivuilta (englanniksi).
Teoksen kanoninen nimi
Alkuteoksen nimi
Teoksen muut nimet
Alkuperäinen julkaisuvuosi
Henkilöt/hahmot
Tärkeät paikat
Tärkeät tapahtumat
Kirjaan liittyvät elokuvat
Epigrafi (motto tai mietelause kirjan alussa)
Omistuskirjoitus
Ensimmäiset sanat
Sitaatit
Viimeiset sanat
Erotteluhuomautus
Julkaisutoimittajat
Kirjan kehujat
Alkuteoksen kieli
Kanoninen DDC/MDS
Kanoninen LCC

Viittaukset tähän teokseen muissa lähteissä.

Englanninkielinen Wikipedia

-

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.

Kirjastojen kuvailuja ei löytynyt.

Kirjan kuvailu
Yhteenveto haiku-muodossa

Current Discussions

-

Suosituimmat kansikuvat

Pikalinkit

Arvio (tähdet)

Keskiarvo: Ei arvioita.

Oletko sinä tämä henkilö?

Tule LibraryThing-kirjailijaksi.

 

Lisätietoja | Ota yhteyttä | LibraryThing.com | Yksityisyyden suoja / Käyttöehdot | Apua/FAQ | Blogi | Kauppa | APIs | TinyCat | Perintökirjastot | Varhaiset kirja-arvostelijat | Yleistieto | 203,240,765 kirjaa! | Yläpalkki: Aina näkyvissä