Liknande böcker

Formal Methods in Programming and Their Applications : International Con...
Bok av Dines Bjorner
Linear Time, Branching Time and Partial Order in Logics and Models for C...
Bok av Jacobus W De Bakker
Object Technologies for Advanced Software : First JSSST International Sy...
Bok av Shojiro Nishio
Principles and Practice of Constraint Programming
Bok
Logic of Programs : Workshop, ETH Zurich, May-July 1979
Bok av E Engeler
Mathematics of Program Construction : Second International Conference, O...
Bok av Richard Bird
Extensions of Logic Programming : Third International Workshop, ELP '92,...
Bok av Evelina Lamma
Non-Monotonic Extensions of Logic Programming : Second International Wor...
Bok av Juergen Dix

Mathematics of Program Construction

Bok