Recherche

4 résultat(s) · 12 ms

Recherche en cours…
Couverture : Handbook of logic and proof techniques for computer science

Handbook of logic and proof techniques for computer science

Steven George Krantz

2002
Couverture : Software blueprints

Software blueprints

David Robertson, Jaume Agustí

1999
Couverture : Solving higher-order equations

Solving higher-order equations

Christian Prehofer

1998
Couverture : Refinement calculus

Refinement calculus

Ralph-Johan Back, Joakim von Wright

1998