The author develops the necessary mathematical tools for undertaking formal methods for specifying and verifying the behaviour of a design mathematically. He then applies them in a number of canonical situations, describing a broad picture of current understanding and methods.
Reihe
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Worked examples or Exercises
ISBN-13
978-0-521-35387-8 (9780521353878)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
