Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

ModelEd, TestEd, TrustEd

Language EnglishEnglish
Book Paperback
Book ModelEd, TestEd, TrustEd Joost-Pieter Katoen
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
? points 125 b
51.61 €
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 / Book Paperback
common.buy 20.50 €
SIKU Military Bitevní vrtulník Game/Toy Toy
common.buy 5.55 €
Aproximaciones numéricas y algorítmicas a las integrales solubles / Book Paperback
common.buy 81.71 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name ModelEd, TestEd, TrustEd
Author Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 391
EAN 9783319682693
ISBN 3319682695
Libristo code 18125020
Publishers Springer International Publishing AG
Weight 6088
Dimensions 155 x 235 x 24

Categories

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Biomimetics for Architecture & Design Werner Nachtigall / Book Paperback
common.buy 120.70 €
Japanese-American Civilian Prisoner Exchanges and Detention Camps, 1941-45 Bruce Elleman / Book Paperback
common.buy 24.33 €
Possession of Sarah Winchester Jim Duggins / Book Hardback
common.buy 30.19 €
Inclusive Pedagogy in the Early Years Jones / Book Hardback
common.buy 188.07 €
Silent Moon Geoffrey Stewart / Book Paperback
common.buy 11.61 €
The Magic of Surrender: Finding the Courage to Let Go Blackson / Book Paperback
common.buy 15.44 €
Hunger Moon Marge Piercy / E-book Adobe ePub DRM
common.buy 10.09 €
The Technique and art of Organ Playing Clarence Dickinson / Book Paperback
common.buy 23.02 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?