Kód: 18125020
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 a ... celý popis
Angličtina
51.73 €
Bežne: 56.02 €
Ušetríte 4.29 €

Nákupom získate 125 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Graphical & digital media applications 3D graphics & modelling
51.73 €
Angličtina
Osobný odber Bratislava a 12882 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )