𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Numerical Methods and Applications Volume 2542 || Additive Schemes for Systems of Time-Dependent Equations of Mathematical Physics

✍ Scribed by Dimov, Ivan; Lirkov, Ivan; Margenov, Svetozar; Zlatev, Zahari


Book ID
120433167
Publisher
Springer Berlin Heidelberg
Year
2003
Weight
185 KB
Category
Article
ISBN
3540364870

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Form
✍ Bernardo, Marco; Corradini, Flavio πŸ“‚ Article πŸ“… 2004 πŸ› Springer Berlin Heidelberg 🌐 German βš– 727 KB

A Large Class Of Computing Systems Can Be Speci?ed And Veri?ed By Abstracting Away From The Temporal Aspects Of Their Behavior. Inreal-timesystems,instead, Time Issues Become Essential. Their Correctness Depends Not Only On Which - Tions They Can Perform, But Also On The Action Execution Time. Due T