Formal Methods in Digital Design
1998
Cambridge University Press (Verlag)
978-0-521-35387-8 (ISBN)
Cambridge University Press (Verlag)
978-0-521-35387-8 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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.
| Erscheint lt. Verlag | 16.6.1998 |
|---|---|
| Reihe/Serie | Cambridge Tracts in Theoretical Computer Science |
| Zusatzinfo | Worked examples or Exercises |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Themenwelt | Informatik ► Weitere Themen ► CAD-Programme |
| ISBN-10 | 0-521-35387-4 / 0521353874 |
| ISBN-13 | 978-0-521-35387-8 / 9780521353878 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Einführung in die Geometrische Produktspezifikation
Buch | Softcover (2023)
Europa-Lehrmittel (Verlag)
20,70 €
