Ves al contingut principal

Come join our latest LibraryThing Hunt!

Foto de l'autor

Cliff B. Jones

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

11+ obres 43 Membres 1 crítiques

Sobre l'autor

Inclou també: Cliff Jones (2)

Obres de Cliff B. Jones

Populars Recent

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

Software Development (1980) 8 exemplars

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of… (2007) 4 exemplars

Understanding Programming Languages (2020) 4 exemplars

Case studies in systematic software development (1990) 2 exemplars

Reflections on the work of C.A.R. Hoare (2010) 2 exemplars

Theories of Programming: The Life and Works of Tony Hoare (Acm Books) (2021) 2 exemplars

Rigorous Development of Complex Fault-Tolerant Systems (2006) — Editor — 2 exemplars

Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007,… (2007) 1 exemplars

Systemic Software Development using VDM, Second Edition, Teaching Notes 1 exemplars

Systematic Software Development Using VDM, Second Edition 1 exemplars

Explorador d'obres

Obres associades

Alan Turing: His Work and Impact (2013) — Col·laborador — 36 exemplars

Etiquetat

[Box D6] (2) computer programming (1) D.2 Software Engineering (1) formal methods (3) Given# 2017-11-30 (1) Informàtica (2) Informàtica (2) loc-attic-box21 (1) no ficció (1) Ordinador (1) Ordinador (2) programació (2) programming languages (1) software (1) software engineering (3) spare bedroom (2) storage (1) technical (4) textbook (1) uncategorized (1) unchecked (1) vdm (2) wuug (1)

Traducció d'etiquetes activa

Coneixement comú

Encara no hi ha coneixement comú d'aquest autor. Pots ajudar.

Membres

Ressenyes

Systematic Software Development Using V. D. M.… de Cliff B. Jones

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

½

Marcat

mejd | Oct 3, 2007 |

Mira més ressenyes

Potser també t'agrada

Autors associats

S. Barry Cooper

Cliff Jones Editor

Alexander Romanovsky Editor

Elena Troubitsyna Editor

Estadístiques

Obres: 11
També de: 1
Membres: 43
Popularitat: #352,016
Valoració: 1.8

Ressenyes: 1
ISBN: 18

Imatges

Galeria d'autor

Enllaços

Wikipedia (English)

Espai de l'ajudant

Els membres de LibraryThing milloren els autors combinant-ne els noms i les obres, separant els autors homònims en identitats separades, i altres accions.

Espai de l'ajudant

Ets tu?

Fes-te Autor del LibraryThing.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Aquest lloc utilitza galetes per a oferir els nostres serveis, millorar el desenvolupament, per a anàlisis i (si no has iniciat la sessió) per a publicitat. Utilitzant LibraryThing acceptes que has llegit i entès els nostres Termes de servei i política de privacitat. L'ús que facis del lloc i dels seus serveis està subjecte a aquestes polítiques i termes.