Katoen / Langerak / Rensink | ModelEd, TestEd, TrustEd | E-Book | sack.de
E-Book

E-Book, Englisch, 391 Seiten, eBook

Reihe: Programming and Software Engineering

Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
1. Auflage 2017
ISBN: 978-3-319-68270-9
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

E-Book, Englisch, 391 Seiten, eBook

Reihe: Programming and Software Engineering

ISBN: 978-3-319-68270-9
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Katoen, Joost-Pieter
Langerak, Rom
Rensink, Arend

Weitere Infos & Material

Modeling and Semantics.- Testing.- Analysis.- Probabilities.- System Dynamics.- Applications.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.