The Specification of Complex Systems
Koop Tweedehands
Niet tweedehands beschikbaar.
Houd me op de hoogte!
Ontvang een e-mailbericht zodra dit boek weer tweedehands leverbaar is.
Koop NieuwWeb only
Niet nieuw beschikbaar.
Omschrijving
Presents a comparison of formal specification methods, including algebraic specification, state-model specification using the Vienna development method (VDM), and the specification of concurrent systems (using Milner's CCS)
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- Aantal Pagina's:143
-
Jaar:1986
-
Rubriek:
Andere titels op de plank Informatica
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.