𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] The Essence of Computation Volume 2566 || Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

✍ Scribed by Mogensen, Torben Æ.; Schmidt, David A.; Sudborough, I. Hal


Book ID
121322576
Publisher
Springer Berlin Heidelberg
Year
2002
Weight
295 KB
Category
Article
ISBN
3540363777

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES