Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
ModelEd, TestEd, TrustEd
- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Engelsk
Bogcover for ModelEd, TestEd, TrustEd af , 9783319682693
Specifikationer
Sprog:
Engelsk
Sider:
391
ISBN-13:
9783319682693
Indbinding:
Paperback
ISBN-10:
3319682695
Udg. Dato:
29 sep 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 sep 2017

ModelEd, TestEd, TrustEd

- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Engelsk
Paperback 2017
Format:

Bog beskrivelse

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.

... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
391
ISBN-13:
9783319682693
Indbinding:
Paperback
ISBN-10:
3319682695
Udg. Dato:
29 sep 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
29 sep 2017
Finder produkter...
Kategori sammenhænge