Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

ModelEd, TestEd, TrustEd

Name: ModelEd, TestEd, TrustEd
Brand: Springer
SKU: 41043390
Price: 1452 CZK
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

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41043390

Nakladatelství Springer, říjen 2017

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Celý popis

Libristo kód: 41043390

145 b

1 452 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

Datenmanagement Michael Ilg

Brožovaná

1 210 Kč

Monografia Leczycy (1898) Michal Rawicz-Witanowski

Brožovaná

619 Kč

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.