Skip to main content
Skip Navigation

Navigation

  • Home

    • ForumSite news

    • Courses

      • ACE

        • PMA31

        • VA

        • AD

        • REBE

        • AR

        • Boards

        • CE

        • CN

          • 1718

          • 1415

          • 1516

            • CN3101 1516 T1

            • CN3102 1516 T1

            • CN3103 1516 T1

            • CN3104 1516

            • CN3990 1516 T1

            • CN4101 1516 T1

            • CN4103 1516 T1

            • CN5101 1516 T1

            • CN5102 1516 T1

            • CN5109 1516 T1

            • CN5110 1516 T1

            • CN5114 1516 T1

            • CN5122 1516 T1

            • CN6101 1516 T1

            • CN6104 1516 T1

            • CN6106 1516 T1

            • CN6115 1516 T1

            • CN6117 1516 T1

            • CN6119 1516 T1

            • CN3105 1516

            • CN4102 1516

          • 1617

          • 1819

          • 1920

          • Robotic Educational Initiative (REI) at UEL

        • DS

        • EBSH1N (Extended BSc Hons)

        • EE

        • EG

        • EP

        • ER

        • EV

        • IM

        • ME

        • PD

        • PFDX1

        • PMCX1

        • PMS3D (MSc by Distance Learning)

        • PMS31

        • RC

        • SD

        • SV

        • UBSH1N (BSc Hons)

        • VA

        • 2018-19 CN5102-HDU Data Structures

        • REC_ACE

        • SSPhd

      • Academic Partnerships

      • CW EDC

      • Digital Training Services

      • Trash

      • CELT Staff Development

      • RDSBL

      • Cass

      • LSS

      • Psychology

      • Graduate School

      • Learning Systems

      • Miscellaneous

      • ADI

      • HSB

      • Priority

      • Combined Honours

      • School of Social Sciences

      • Services

      • Study Skills

      • Staging

logo
Log in using your account on:
Log in
Moodle Archive Home
  • Dashboard
  • Archive Courses
  • Live Moodle

2015-16 CN6101 Formal Methods for Software Engineers

2015-16 CN6101 Formal Methods for Software Engineers

Formal Methods for Software Engineers
Primary Instructor: Aaron Kans

Click to enter this course


Back

University of East London, University Way

London, E16 2RD

Manual Login

 https://www.uel.ac.uk
You are not logged in. (Log in)