KotiRyhmätKeskusteluLisääAjan henki
Have you checked out SantaThing, LibraryThing's gift-giving tradition?
hylkää
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.
Hide this

Tulokset Google Booksista

Pikkukuvaa napsauttamalla pääset Google Booksiin.

Ladataan...

Software specification : a comparison of formal methods

– tekijä: John D. Gannon

JäseniäKirja-arvostelujaSuosituimmuussijaKeskimääräinen arvioKeskustelut
3-3,249,012 (3.5)-
Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.… (lisätietoja)
Viimeisimmät tallentajatsafari45, cleague, hermannstone

-.

-
Ladataan...

Kirjaudu LibraryThingiin, niin näet, 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).
Kanoninen teoksen nimi
Alkuteoksen nimi
Teoksen muut nimet
Alkuperäinen julkaisuvuosi
Henkilöt/hahmot
Tärkeät paikat
Tärkeät tapahtumat
Kirjaan liittyvät elokuvat
Palkinnot ja kunnianosoitukset
Epigrafi (motto tai mietelause kirjan alussa)
Omistuskirjoitus
Ensimmäiset sanat
Sitaatit
Viimeiset sanat
Erotteluhuomautus
Julkaisutoimittajat
Kirjan kehujat
Alkuteoksen kieli
Canonical DDC/MDS

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

Englanninkielinen Wikipedia

-

Based on material used by the authors in their teaching, this volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.

No library descriptions found.

Kirjan kuvailu
Yhteenveto haiku-muodossa

Pikalinkit

Suosituimmat kansikuvat

Arvio (tähdet)

Keskiarvo: (3.5)
0.5
1
1.5
2
2.5
3
3.5 1
4
4.5
5

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 | 152,752,211 kirjaa! | Yläpalkki: Aina näkyvissä