0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017) Loot Price: R2,763
Discovery Miles 27 630
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017):...

ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Paperback, 1st ed. 2017)

Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Series: Programming and Software Engineering, 10500

 (sign in to rate)
Loot Price R2,763 Discovery Miles 27 630 | Repayment Terms: R259 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Programming and Software Engineering, 10500
Release date: October 2017
First published: 2017
Editors: Joost-Pieter Katoen • Rom Langerak • Arend Rensink
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 391
Edition: 1st ed. 2017
ISBN-13: 978-3-319-68269-3
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Computer modelling & simulation
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Computer software packages > Computer graphics software > General
Promotions
LSN: 3-319-68269-5
Barcode: 9783319682693

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,757 Discovery Miles 27 570
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
R863 Discovery Miles 8 630
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,954 Discovery Miles 19 540
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,374 Discovery Miles 13 740
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,660 Discovery Miles 26 600
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R706 Discovery Miles 7 060
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R981 Discovery Miles 9 810
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R891 R764 Discovery Miles 7 640
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R1,023 R872 Discovery Miles 8 720
Get Started Programming with Python…
Manuel Mcfeely Hardcover R864 R743 Discovery Miles 7 430
Coding for Kids in Python - Python…
Bob Mather Hardcover R961 Discovery Miles 9 610

See more

Partners