Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

ModelEd, TestEd, TrustEd

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

Língua

Inglês

E-book Adobe ePub DRM

Código Libristo: 41043390

Editoras Springer, outubro 2017

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birt... Descrição completa

Código Libristo: 41043390

125 b

51.54 €

Em stock Imediatamente descarregável

Os clientes também compraram

Datenmanagement Michael Ilg

Capa mole

42.22 €

Monografia Leczycy (1898) Michal Rawicz-Witanowski

Capa mole

22.98 €

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.