ModelEd, TestEd, TrustEd (e-bok)
Fler böcker inom
Format
E-bok
Filformat
EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2017-10-16
Förlag
Springer International Publishing
ISBN
9783319682709

ModelEd, TestEd, TrustEd E-bok

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

av Joost-Pieter Katoen, Rom Langerak, Arend Rensink
E-bok (LCP),  Engelska, 2017-10-16
746
Ladda ned
Spara som favorit
Läs i Bokus Reader för iOS och Android
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Du kanske gillar