Types proofs programs international (114 risultati)
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 10,56
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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 Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)
Miculan, Marino [Editor]; Scagnetto, Ivan [Editor]; Honsell, Furio [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 24,86
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,13
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,29
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 33,44
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 38,82
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Ship…ped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)
Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; Nordström, Bengt [Editor]; Smith, Jan [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 32,66
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 39,17
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 48,87
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,71
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,06
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: 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
Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,96
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,96
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers. Book.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: 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
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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,07
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,07
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,43
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,43
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,43
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,43
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 58,69
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 59,08
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,12
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,40
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,40
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science)
Gimenez, Eduardo [Editor]; Paulin-Mohring, Christine [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 57,68
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Filliatre, Jean-christophe (EDT); Paulin-Mohring, Christine (EDT); Werner, Benjamin (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,63
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,98
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,80
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
