Wiedijk freek editor

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings

Van Eekelen, Marko (Editor)/ Geuvers, Herman (Editor)/ Schmaltz, Julien (Editor)/ Wiedijk, Freek (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2011

3642228623 / 9783642228629

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 80,71

EUR 14,54 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 394 pages. 9.20x6.10x0.90 inches. In Stock.

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

Wiedijk, Freek [Editor]

Lingua: Inglese

Editore: Springer, 2006

3540307044 / 9783540307044

Brossura

Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 103,30

EUR 5,99 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Geuvers, Herman [Editor]; Wiedijk, Freek [Editor];

Lingua: Inglese

Editore: Springer, 2003

354014031X / 9783540140313

Brossura

Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 110,67

EUR 5,99 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)

Capretta, Venanzio (Editor)/ Krebbers, Robbert (Editor)/ Wiedijk, Freek (Editor)

Lingua: Inglese

Editore: Springer, 2024

3031617150 / 9783031617157

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 192,24

EUR 11,64 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 285 pages. 9.25x6.10x8.90 inches. In Stock.

Wiedijk freek editor (4 risultati)

Perfeziona la tua ricerca

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)