ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Programming and Software Engineering, Band 10500) - Softcover

 
9783319682693: ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Programming and Software Engineering, Band 10500)
Softcover
ISBN 10: 3319682695 ISBN 13: 9783319682693
Verlag: Springer, 2017

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319682695
ISBN 13 
9783319682693
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
404
Herausgeber
Katoen Joost-Pieter, Langerak Rom, Rensink Arend
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland