Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen

Rom Langerak

Arend Rensink

Language

English

Book Paperback

Libristo code: 18125020

Publishers Springer International Publishing AG, September 2017

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

Libristo code: 18125020

132 b

54.33 €

106.25 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Rahel Varnhagen und die Romantik Emma Graf

Paperback

21.74 € 42.52 лв

SIKU Military Bitevní vrtulník Game/Toy

Toy

5.83 € 11.40 лв

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

Paperback

86.45 € 169.08 лв

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.