X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/be86a872232e7b76d1eefb503ab8a9dbb0555d9e..16f63ac7449bd84d586a59aa15c8580554eeb07f:/mmath.m4?ds=inline diff --git a/mmath.m4 b/mmath.m4 index 905f2e5..98584a3 100644 --- a/mmath.m4 +++ b/mmath.m4 @@ -2,7 +2,6 @@ dnl -*- html -*- define(__title, `Master of Mathematics')dnl define(__slug, `mmath')dnl include(header.html)dnl -define(__latex, `')dnl

Master of Mathematics

@@ -30,7 +29,8 @@ __latex sources: tar.gz | zip

-

Abstract

+
+Abstract

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and @@ -69,9 +69,10 @@ may be most suited for modelling their system, we present recommendations based on our observations about the differentiating characteristics of each of these languages.

+
-

License

- +
+License
 This thesis is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -86,6 +87,7 @@ GNU General Public License for more details.
 You should have received a copy of the GNU General Public License
 along with this thesis.  If not, see <https://www.gnu.org/licenses/>.
 
+

A copy of the GNU General Public License is available from gpl-3.0.html, as well as in