Carte ModelEd, TestEd, TrustEd Joost-Pieter Katoen

ModelEd, TestEd, TrustEd

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.89 lei
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
391
EAN
9783319682693
ISBN
3319682695
Enbook ID
18125020
Greutate
6088
Dimensiuni
155 x 235 x 24

Descriere completă

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.

S-ar putea să te intereseze

646.33 lei
160.22 lei

Silent Moon

Geoffrey Stewart
62.65 lei

Hunger Moon

Marge Piercy
50.68 lei
122.70 lei

Clienții care au cumpărat această carte au mai cumpărat și