Bezig met laden...

Systematic Software Development Using V. D. M. (Prentice-Hall International series in computer science)

door Cliff B. Jones

Leden	Besprekingen	Populariteit	Gemiddelde beoordeling	Discussies
16	1	1,302,493	(1.25)	Geen
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

alle leden

▾Leden

Onlangs toegevoegd door

pausam, sipig, Datahistorisk, tim_rylance, mjharwood, paul.0.nicholson, joeycoleman, gpoo, noreenj, sirfurboy

▾Trefwoorden

Trefwoordvertaling ingeschakeld

▾Lijsten

Geen

▾Iets voor jou?

Bezig met laden...

Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden.

▾Discussies (Over links)

Op dit moment geen Discussie gesprekken over dit boek.

▾Besprekingen door leden

only interesting for those who nned to write provably correct programmes. (

)

mejd | Oct 3, 2007 |

▾Gepubliceerde besprekingen

geen besprekingen | voeg een bespreking toe

▾Andere auteurs

» Andere auteurs toevoegen

▾Reeksen en verbanden tussen werken

▾Prijzen en onderscheidingen

geschiedenis tonen

▾Algemene kennis

Je moet ingelogd zijn om Algemene Kennis te mogen bewerken.

Voor meer hulp zie de helppagina Algemene Kennis .

Gangbare titel

Oorspronkelijke titel

Alternatieve titels

Oorspronkelijk jaar van uitgave

Mensen/Personages

Belangrijke plaatsen

Belangrijke gebeurtenissen

Verwante films

Motto

Opdracht

Eerste woorden

Citaten

Laatste woorden

Ontwarringsbericht

Uitgevers redacteuren

Auteur van flaptekst/aanprijzing

Oorspronkelijke taal

Gangbare DDC/MDS

Canonieke LCC

▾Verwijzingen

Verwijzingen naar dit werk in externe bronnen.

Wikipedia in het Engels (3)

Cliff Jones (computer scientist)

Model-based specification

Prentice Hall International Series in Computer Science

▾Boekbeschrijvingen

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

▾Beschrijvingen bibliotheek

Geen bibliotheekbeschrijvingen gevonden.

▾Beschrijving door LibraryThing leden

Boekbeschrijving

Haiku samenvatting