Spring naar hoofdinhoud

Come join our latest LibraryThing Hunt!

Afbeelding auteur

Cliff B. Jones

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

11+ Werken 43 Leden 1 Geef een beoordeling

Over de Auteur

Bevat ook: Cliff Jones (2)

Werken van Cliff B. Jones

Populair Recent

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

Software Development (1980) 8 exemplaren

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

Understanding Programming Languages (2020) 4 exemplaren

Case studies in systematic software development (1990) 2 exemplaren

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

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

Rigorous Development of Complex Fault-Tolerant Systems (2006) — Redacteur — 2 exemplaren

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

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

Systematic Software Development Using VDM, Second Edition 1 exemplaar

Gerelateerde werken

Alan Turing: His Work and Impact (2013) — Medewerker — 36 exemplaren

Tagged

[Box D6] (2) Computer (1) Computers (2) D.2 Software Engineering (1) Formele methoden (3) Given# 2017-11-30 (1) Informatica (2) Informatica (2) Leerboek (1) loc-attic-box21 (1) Non-fictie (1) ongesorteerd (1) Opslag (1) Programmeertalen (1) Programmeren (2) Programmeren (1) Software (1) Software engineering (3) spare bedroom (2) technisch (4) unchecked (1) VDM (2) wuug (1)

Trefwoordvertaling ingeschakeld

Algemene kennis

Er zijn nog geen Algemene Kennis-gegevens over deze auteur. Je kunt helpen.

Leden

Besprekingen

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

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

½

Gemarkeerd

mejd | Oct 3, 2007 |

Bekijk meer besprekingen

Misschien vindt je deze ook leuk

Gerelateerde auteurs

S. Barry Cooper

Cliff Jones Editor

Alexander Romanovsky Editor

Elena Troubitsyna Editor

Statistieken

Werken: 11
Ook door: 1
Leden: 43
Populariteit: #352,016
Waardering: 1.8

Besprekingen: 1
ISBNs: 18

Afbeeldingen

Links

Wikipedia (English)

Helpers hoek

LibraryThing-leden verbeteren auteurs door auteursnamen en werken te combineren, gelijknamige auteurs te splitsen, en meer.

Ben jij dit?

Word een LibraryThing Auteur.

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

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.