Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

ModelEd, TestEd, TrustEd

Name: ModelEd, TestEd, TrustEd
Brand: Springer
SKU: 41043390
Price: 254.52 PLN
Availability: InStock
Author: Joost-Pieter Katoen
ISBN: 9783319682709

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Joost-Pieter Katoen

Rom Langerak

Arend Rensink

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41043390

Wydawnictwo Springer, październik 2017

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Cały opis

Kod Libristo: 41043390

145 b

254.52 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Datenmanagement Michael Ilg

Miękka

211.77 zł

Monografia Leczycy (1898) Michal Rawicz-Witanowski

Miękka

114.01 zł

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.