ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Katoen, Joost-Pieter. (Editor), Langerak, Rom. (Editor), Rensink, Arend. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10500
Subjects:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Mathematical logic.
Algorithms.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Online Access:https://doi.org/10.1007/978-3-319-68270-9
Table of Contents:
  • Modeling and Semantics
  • Testing
  • Analysis
  • Probabilities
  • System Dynamics
  • Applications.

Similar Items