Types proofs programs international (121 Ergebnisse)

Zustand: Gebraucht - Befriedigend

EUR 22,10

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Good. 1996th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. …

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Sprache: Englisch

Verlag: Springer Berlin / Heidelberg, 1994

Softcover

Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West

Verkäufer/-in mit 5 Sternen

Miculan, Marino [Editor]; Scagnetto, Ivan [Editor]; Honsell, Furio [Editor];

Zustand: Gebraucht - Gut

EUR 31,48

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Very Good. 1994th Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 26,05

EUR 6,33 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 37,33

Versand gratis

Versand innerhalb von USA

Anzahl: 3 verfügbar

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.

Verkäufer/-in mit 5 Sternen

Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; NordstrÃ¶m, Bengt [Editor]; Smith, Jan [Editor];

Zustand: Neu

EUR 37,33

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Types for Proofs and Programs: International Workshop, TYPES'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2001

3540415173 / 9783540415176

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

3540415173 / 9783540415176

Zustand: Gebraucht - Gut

EUR 34,23

EUR 6,33 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Types for Proofs and Programs : International Workshop, TYPES'99, lÃÂ keberg, Sweden, June 1999, Selected Papers

Sprache: Englisch

Verlag: Springer Berlin / Heidelberg, 2000

Softcover

Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 43,94

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Sprache: Englisch

Verlag: Springer Berlin / Heidelberg, 1999

Softcover

Anbieter: Better World Books: West, Reno, NV, USABetter World Books: West

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 44,14

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Sprache: Englisch

Verlag: Springer Berlin / Heidelberg, 1995

Softcover

Anbieter: Better World Books, Mishawaka, IN, USABetter World Books

Verkäufer/-in mit 5 Sternen

3540432876 / 9783540432876

Zustand: Gebraucht - Gut

EUR 51,26

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 2000, Selected Papers

Sprache: Englisch

Verlag: Springer Berlin / Heidelberg, 2002

Softcover

Anbieter: Better World Books, Mishawaka, IN, USABetter World Books

Verkäufer/-in mit 5 Sternen

Types 9 (1995 Turin, Italy); Berardi, Stefano; Coppo, Mario

Zustand: Gebraucht - Befriedigend

EUR 51,26

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Types for Proofs and Programs : International Workshop Types '95, Torino, Italy, June 5-8, 1995 : Selected Papers

Sprache: Englisch

Verlag: Springer, 1996

3540617809 / 9783540617808

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Filliatre, Jean-christophe (EDT); Paulin-Mohring, Christine (EDT); Werner, Benjamin (EDT)

Zustand: Neu

EUR 55,62

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2006

3540314288 / 9783540314288

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Dybjer, Peter (EDT); Nordstrom, Bengt; Smith, Jan M.

Zustand: Neu

EUR 58,44

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers

Sprache: Englisch

Verlag: Springer, 1995

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Filliatre, Jean-Christophe

Zustand: Neu

EUR 58,44

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 1/25/2006, 2006

3540314288 / 9783540314288

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,91

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers. Book.

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Paperback or Softback)

Dybjer, Peter

Sprache: Englisch

Verlag: Springer 10/18/1995, 1995

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)

Zustand: Neu

EUR 60,91

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. Book.

Types For Proofs And Programs : International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2004

3540221646 / 9783540221647

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Barendregt, Henk; Nipkow, Tobias (EDT)

Zustand: Neu

EUR 58,70

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,70

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Paperback or Softback)

Barendregt, Henk

Sprache: Englisch

Verlag: Springer 5/20/1994, 1994

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

3540221646 / 9783540221647

Zustand: Neu

EUR 61,17

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers. Book.

Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Paperback or Softback)

Berardi, Stefano

Sprache: Englisch

Verlag: Springer 6/15/2004, 2004

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Types 9 (1998 Benediktinerabtei Irsee, Germany); Naraschewski, Wolfgang (EDT); Reus, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Altenkirch, Thorsten (EDT); Altenkirch, Thorsten; Naraschewski, Wolfgang; Reus, Bernhard; Types 9 (1999 Benediktinerabtei Irsee, Germany)

Zustand: Neu

EUR 61,17

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Book.

Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Sprache: Englisch

Verlag: Springer, 1999

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Gimenez, Eduardo (EDT); Paulin-Mohring, Christine

Zustand: Gebraucht - Wie neu

EUR 61,57

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Types for Proofs and Programs : International Workshop Types '96, Aussois, France, December 1996 : Selected Papers

Sprache: Englisch

Verlag: Springer, 1998

3540651373 / 9783540651376

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Types 9 (1998 Benediktinerabtei Irsee, Germany); Naraschewski, Wolfgang (EDT); Reus, Bernhard (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Altenkirch, Thorsten (EDT); Altenkirch, Thorsten; Naraschewski, Wolfgang; Reus, Bernhard; Types 9 (1999 Benediktinerabtei Irsee, Germany)

Zustand: Gebraucht - Wie neu

EUR 61,97

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Sprache: Englisch

Verlag: Springer, 1999

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Gimenez, Eduardo (EDT); Paulin-Mohring, Christine

Zustand: Neu

EUR 63,71

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Workshop Types '96, Aussois, France, December 1996 : Selected Papers

Sprache: Englisch

Verlag: Springer, 1998

3540651373 / 9783540651376

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

3540651373 / 9783540651376

Zustand: Neu

EUR 63,71

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science, 1512)

Sprache: Englisch

Verlag: Springer, 1998

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 63,39

EUR 2,71 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)

Sprache: Englisch

Verlag: Springer, 1999

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 63,39

EUR 2,71 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 63,39

EUR 2,71 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)

Sprache: Englisch

Verlag: Springer, 1995

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Barendregt, Henk; Nipkow, Tobias (EDT)

Zustand: Neu

EUR 63,39

EUR 2,71 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Callaghan, Paul (EDT); Luo, Zhaohui (EDT); McKinna, James (EDT); Pollack, Robert (EDT)

Zustand: Gebraucht - Wie neu

EUR 64,11

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Types for Proofs and Programs : International Workshop, Types 2000, Durham, Uk, December 8-12, 2000 : Selected Papers

Sprache: Englisch

Verlag: Springer, 2002

3540432876 / 9783540432876

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Miculan, Marino (EDT); Scagnetto, Ivan (EDT); Honsell, Furio (EDT)

Zustand: Neu

EUR 64,26

EUR 2,39 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen