Formal Description Techniques, IV (Ifip Transactions C : Communication Systems, Technical Committee 6)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Formal Description Techniques, IV" von G. A. Rose ist eine Sammlung wissenschaftlicher Arbeiten und Beiträge, die im Rahmen der IFIP-Konferenz präsentiert wurden. Der Fokus liegt auf formalen Beschreibungstechniken (FDTs), die in der Informatik und Telekommunikation zur Spezifikation und Analyse komplexer Systeme eingesetzt werden. Die Beiträge decken verschiedene Aspekte dieser Techniken ab, darunter ihre theoretischen Grundlagen, praktische Anwendungen sowie Werkzeuge zur Unterstützung ihrer Implementierung. Ziel des Buches ist es, den Austausch von Wissen und Erfahrungen zwischen Forschern und Praktikern zu fördern und die Weiterentwicklung von FDTs voranzutreiben.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
