Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka ModelEd, TestEd, TrustEd Joost-Pieter Katoen

ModelEd, TestEd, TrustEd

Autor: Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.72 zł
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt...

Informacje o książce

Autor
Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
391
EAN
9783319682693
ISBN
3319682695
Enbook ID
18125020
Wydawca
Springer International Publishing AG
Waga
6088
Wymiary
155 x 235 x 24

Pełny opis

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.

Możesz być zainteresowany

Biomimetics for Architecture & Design

Werner Nachtigall
502.27 zł

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

Bruce Elleman
101.35 zł

Possession of Sarah Winchester

Jim Duggins
125.56 zł

Inclusive Pedagogy in the Early Years

Jones
782.73 zł

Silent Moon

Geoffrey Stewart
48.41 zł

The Magic of Surrender: Finding the Courage to Let Go

Blackson
64.45 zł

Hunger Moon

Marge Piercy
41.52 zł

The Technique and art of Organ Playing

Clarence Dickinson
96.04 zł

Klienci, którzy kupili tę książkę, kupili również

Rahel Varnhagen und die Romantik

Emma Graf
85.51 zł

SIKU Military Bitevní vrtulník

23.22 zł

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

339.89 zł