Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
ModelEd, TestEd, TrustEd
CHF 75.95
Auf Lager
SKU
CL1G2SD1JC7
1 Verfügbar 
Geliefert zwischen Do., 22.01.2026 und Fr., 23.01.2026
Details
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.
The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.
The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
Includes supplementary material: sn.pub/extras
Inhalt
Modeling and Semantics.- Testing.- Analysis.- Probabilities.- System Dynamics.- Applications.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319682693
- Genre Information Technology
- Auflage 1st edition 2017
- Editor Joost-Pieter Katoen, Arend Rensink, Rom Langerak
- Lesemotiv Verstehen
- Anzahl Seiten 404
- Größe H235mm x B155mm x T22mm
- Jahr 2017
- EAN 9783319682693
- Format Kartonierter Einband
- ISBN 3319682695
- Veröffentlichung 29.09.2017
- Titel ModelEd, TestEd, TrustEd
- Untertitel Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
- Gewicht 610g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
