Types proofs programs international (74 Ergebnisse)

3540580859 / 9783540580850

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

3540680845 / 9783540680840

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

Sprache: Englisch

Verlag: Springer, 2008

Softcover

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

Verkäufer/-in mit 5 Sternen

3540415173 / 9783540415176

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

3540651373 / 9783540651376

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'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

3540580859 / 9783540580850

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

3540314288 / 9783540314288

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 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

3540680845 / 9783540680840

Zustand: Neu

EUR 67,11

EUR 2,71 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 (Lecture Notes in Computer Science, 4941)

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

3540432876 / 9783540432876

Zustand: Neu

EUR 69,00

EUR 11,82 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)

Sprache: Englisch

Verlag: Springer, 2002

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 69,00

EUR 11,82 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

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: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 69,00

EUR 11,82 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

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: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 69,00

EUR 11,82 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

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: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 61,88

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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

Sprache: Englisch

Verlag: Springer, 2006

3540314288 / 9783540314288

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 61,90

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 61,82

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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

Sprache: Englisch

Verlag: Springer, 2009

3642024432 / 9783642024436

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 62,02

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

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: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Barendregt, Henk; Nipkow, Tobias (EDT)

Zustand: Neu

EUR 62,07

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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

3540580859 / 9783540580850

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

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

Zustand: Neu

EUR 62,01

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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

3540680845 / 9783540680840

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry

Zustand: Neu

EUR 62,01

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers

Sprache: Englisch

Verlag: Springer, 2000

3540415173 / 9783540415176

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

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 62,01

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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

Sprache: Englisch

Verlag: Springer, 1999

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Geuvers, Herman; Wiedijk, Freek

Zustand: Neu

EUR 62,01

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Types for Proofs and Programs : Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers

Sprache: Englisch

Verlag: Springer, 2003

354014031X / 9783540140313

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

3540314288 / 9783540314288

Zustand: Neu

EUR 62,02

EUR 17,96 Versand

Versand von Vereinigtes Königreich nach 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 (Lecture Notes in Computer Science, 3839)

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

3642024432 / 9783642024436

Zustand: Neu

EUR 69,00

EUR 13,42 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science, 5497)

Sprache: Englisch

Verlag: Springer, 2009

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

3540617809 / 9783540617808

Zustand: Neu

EUR 69,00

EUR 13,42 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science, 1158)

Sprache: Englisch

Verlag: Springer, 1996

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

3540221646 / 9783540221647

Zustand: Neu

EUR 69,00

EUR 13,42 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3085)

Sprache: Englisch

Verlag: Springer, 2004

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen