ModelEd, TestEd, TrustEd Image close
ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
Show Hide Adult Content
ModelEd, TestEd, TrustEd close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Graphical & digital media applications  
3D graphics & modelling

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$135.99
RRP:
$149.95 save $13.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 1-11 July using International Courier

Explore more Programming and Software Engineering

See all products in this series

Reversible Computation
$131.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$173.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theories, Tools and Experiments
$135.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$167.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering IV
$138.99
Generative and Transformational Techniques in Software Engineering IV
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $14
$136.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$170.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $22
$135.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
$238.99
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Models for Cyber Situation Awareness
$146.99
Theory and Models for Cyber Situation Awareness
Paperback / softback
Available - Usually ships in 3-4 weeks
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
$146.99
OpenSHMEM and Related Technologies. Big Compute and Big Data...
Paperback / softback
Available - Usually ships in 3-4 weeks
Runtime Verification Save $26
$140.99
$167.95
Runtime Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$134.99
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering Save $9
$135.99
$145.95
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
September 29th, 2017
Contributors
  • Edited by Arend Rensink
  • Edited by Joost-Pieter Katoen
  • Edited by Rom Langerak
Pages
391
Edition
1st ed. 2017
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
115 Illustrations, black and white; XII, 391 p. 115 illus.
ISBN-13
9783319682693
Product ID
26901924

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design