Copied ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Physics of Music and Color
$54.99
Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications
$54.99
The History and Politics of Public Radio
$99.99
Bone Marrow and Bone Tissue
$74.99
Vertebrate Photoreceptors
$169.99
International Handbook of Educational Change
$429.00
Predator Recognition in Birds
$54.99
The Philosophy of Mathematics Education
$19.99
Patient Data Management in Intensive Care
$54.99
Blended Learning. New Challenges and Innovative Practices
$54.99
Be a King
$5.21
Crow Call
$5.21
Model and Design of Improved Current Mode Logic Gates
$109.99
Erdbeben als historisches Ereignis
$84.99
Euro-Par 2021: Parallel Processing Workshops
$99.99
Continuity under Change in Dayak Societies
$59.99
The Economics of Addictive Behaviours Volume II
$59.99
Shmuel N. Eisenstadts Soziologie
$79.99
Vox Humana Craftsmanship
$129.99
Thermal Cracking of Massive Concrete Structures
$149.00
Multi-hazard Approaches to Civil Infrastructure Engineering
$169.99
Changing Security Dynamics in East Asia
$109.99
Metaheuristics for Dynamic Optimization
$169.99
Has Latin American Inequality Changed Direction?
$59.99
Pattern Recognition
$39.99
Game Over, Super Rabbit Boy!: A Branches Book (Press Start! #1)
$5.24
New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies
$279.99
Melanoma Techniques and Protocols
$169.99
The Plutocene: Blueprints for a Post-Anthropocene Greenhouse Earth
$99.00
Physical Theory as Logico-Operational Structure
$39.99
Mitigation of Negative Impedance Instabilities in DC Distribution Systems
$54.99
Detoxification of Chemical Warfare Agents
$159.99
Information and Communications Security
$39.99
Data Processing Techniques and Applications for Cyber-Physical Systems (DPTA 2019)
$329.99
Das politische System der USA
$54.99
Die symbolische Prgnanz des Bildes
$29.99
The State Economic Handbook 2010
$109.99
Morenos therapeutische Philosophie
$64.99
Interest Rate Modelling in the Multi-Curve Framework
$99.99
Electric Fishes
$449.99
