Liknande böcker

Software Composition
Bok av Sven. Apel
Rewriting Logic and Its Applications : 9th International Workshop, WRLA...
Bok av Franciso. Durán
Generic and Indexed Programming : International Spring School, SSGIP 201...
Bok av Jeremy. Gibbons
Foundations of Software Science and Computational Structures
Bok av Martin. Hofmann
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT...
Bok av Alex. Groce
Foundations of Software Science and Computation Structures : 17th Intern...
Bok av Anca. Muscholl
Practical Aspects of Declarative Languages : 14th International Symposiu...
Bok av Claudio. Russo
Foundations of Software Science and Computation Structures : 18th Intern...
Bok av Andrew. Pitts

Formal Aspects of Component Software

Bok av Markus Lumpe