Reactive Systems Modelling, Specification and Verification
Fr. 91.90
inkl. gesetzl. MwSt.Beschreibung
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular...
Produktdetails
| Format |
|
|---|---|
| Kopierschutz |
Ja |
| Family Sharing |
Ja |
| Text-to-Speech |
Nein |
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.