Menu
Află starea comenzii
Contactați-ne
Carte ModelEd, TestEd, TrustEd Joost-Pieter Katoen

ModelEd, TestEd, TrustEd

Autor: Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
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

Autor
Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
391
EAN
9783319682693
ISBN
3319682695
Enbook ID
18125020
Editura
Springer International Publishing AG
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

Biomimetics for Architecture & Design

Werner Nachtigall
646.33 lei

Japanese-American Civilian Prisoner Exchanges and Detention Camps, 1941-45

Bruce Elleman
129.04 lei

Possession of Sarah Winchester

Jim Duggins
160.22 lei

Inclusive Pedagogy in the Early Years

Jones
996.75 lei

Silent Moon

Geoffrey Stewart
62.65 lei

The Magic of Surrender: Finding the Courage to Let Go

Blackson
78.54 lei

Hunger Moon

Marge Piercy
50.68 lei

The Technique and art of Organ Playing

Clarence Dickinson
122.70 lei

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

Rahel Varnhagen und die Romantik

Emma Graf
110.33 lei

SIKU Military Bitevní vrtulník

29.76 lei

Aproximaciones numéricas y algorítmicas a las integrales solubles

438.83 lei