Back to Results
First PageMeta Content
Vienna Development Method / Meta-IV / E1 / Everything2 / Applied mathematics / Theoretical computer science / Logic in computer science / Denotational semantics


SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM Second Edition Teaching Notes CLIFF B JONES
Add to Reading List

Document Date: 2015-01-08 04:19:13

Open Document

File Size: 375,24 KB

Share Result on Facebook

City

Cambridge / Copenhagen / Vienna / London / Darmstadt / Leicester / Oxford / /

Company

Prentice-Hall International / CRI A/S / IBM Laboratory / /

Continent

Europe / /

Country

United States / United Kingdom / /

Event

Reorganization / /

Facility

University of Leicester / Manchester University / University Road / Technical University of Denmark / Open University / IBM Laboratory / /

Organization

Technical University of Denmark / University of Leicester / Open University / PEVE Unit / Technische Hochschule / Department of Computer Science / Computer Studies Unit / University of Vienna / Manchester University / /

Person

Peter Luckham / Adelard / Jen Cheng / Heinz Zemanek / Peter Lucas / Hans Beki / Rhonda Grove / Wolfgang Henhapl / Cli Jones / Bo Stig Hansen / CLIFF B JONES / /

Position

author / Theorem Proving Assistant / Teacher / D.J. Andrews / Professor / visiting chair / /

ProgrammingLanguage

Ada / ALGOL 60 / PL/I / C / /

Technology

PL/I / /

SocialTag