Types Proofs Programs International (121 results)

Condition: Used - Good

£ 18.47

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 1994

Softcover

Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West

5-star seller

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

Condition: Used - Very good

£ 26.33

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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)

Language: English

Published by Springer, 2008

3540680845 / 9783540680840

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

3540680845 / 9783540680840

Condition: Used - Very good

£ 21.78

£ 5.29 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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

Language: English

Published by Springer, 2008

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

3540680845 / 9783540680840

Condition: New

£ 31.22

Free Shipping

Ships within U.S.A.

Quantity: 3 available

Condition: 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

Language: English

Published by Springer, 2008

Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

5-star seller

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

Condition: New

£ 31.22

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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)

Language: English

Published by Springer, 2001

3540415173 / 9783540415176

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

3540415173 / 9783540415176

Condition: Used - Very good

£ 28.62

£ 5.29 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 2000

Softcover

Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West

5-star seller

Condition: Used - Very good

£ 36.75

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 1999

Softcover

Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West

5-star seller

Condition: Used - Very good

£ 36.91

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 1995

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

3540432876 / 9783540432876

Condition: Used - Very good

£ 42.87

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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

Language: English

Published by Springer Berlin / Heidelberg, 2002

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

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

Condition: Used - Good

£ 42.87

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: 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

Language: English

Published by Springer, 1996

3540617809 / 9783540617808

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 47.70

£ 2.00 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

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

Language: English

Published by Springer, 2006

3540314288 / 9783540314288

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 48.87

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1995

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Filliatre, Jean-Christophe

Condition: New

£ 48.87

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer 1/25/2006, 2006

3540314288 / 9783540314288

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

Condition: New

£ 50.94

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer 10/18/1995, 1995

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

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

Condition: New

£ 50.94

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer, 2004

3540221646 / 9783540221647

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Barendregt, Henk; Nipkow, Tobias (EDT)

Condition: New

£ 49.09

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1994

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 49.09

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Barendregt, Henk

Language: English

Published by Springer 5/20/1994, 1994

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

3540221646 / 9783540221647

Condition: New

£ 51.16

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer 6/15/2004, 2004

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

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)

Condition: New

£ 51.16

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: Used - As new

£ 51.49

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 1998

3540651373 / 9783540651376

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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)

Condition: Used - As new

£ 51.83

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: 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

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: New

£ 53.28

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1998

3540651373 / 9783540651376

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3540651373 / 9783540651376

Condition: New

£ 53.28

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1998

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

5-star seller

Condition: New

£ 53.01

£ 2.27 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: 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)

Language: English

Published by Springer, 1999

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

5-star seller

Condition: New

£ 53.01

£ 2.27 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: 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)

Language: English

Published by Springer, 1994

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

5-star seller

Condition: New

£ 53.01

£ 2.27 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1995

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

5-star seller

Barendregt, Henk; Nipkow, Tobias (EDT)

Condition: New

£ 53.01

£ 2.27 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 1994

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

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

Condition: Used - As new

£ 53.62

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2002

3540432876 / 9783540432876

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Berardi, Stefano (EDT); Damiani, Ferruccio (EDT); Liguoro, Ugo De (EDT)

Condition: New

£ 53.67

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Language: English

Published by Springer, 2009

3642024432 / 9783642024436

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller