Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
ModelEd, TestEd, TrustEd
- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Engelsk Paperback
ModelEd, TestEd, TrustEd
- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
391
ISBN-13:
9783319682693
Indbinding:
Paperback
Udgave:
ISBN-10:
3319682695
Udg. Dato:
29 sep 2017
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
29 sep 2017
Forfatter(e):
Kategori sammenhænge