Liknande böcker

Software Engineering with OBJ
Bok
Tools and Environments for Parallel and Distributed Systems
Bok av Victor R.; Zaky Basili
Fundamental Approaches to Software Engineering : 19th International Conf...
Bok av Perdita Stevens
Automated Technology for Verification and Analysis
Bok av Tevfik. Bultan
Ada: The Choice for '92
Bok
The Synthesizer Generator : A system for constructing language-based edi...
Bok av Thomas W. Reps
Object Technologies for Advanced Software : First JSSST International Sy...
Bok av Shojiro Nishio
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger

Formal Specification Techniques for Engineering Modular C Programs

Bok av Tan Yang Meng