Claude bolduc (31 risultati)
- Brossura
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 2,85
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Brossura
Da: Ammareal, Morangis, FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 3,15
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
- Brossura
Da: Ghost River Rare and Used Books, Cremona, AB, CanadaGhost River Rare and Used Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 7,20
EUR 13,55 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Condizione: Good-. Hull, PQ, Canada: Vents d'Ouest Editions, 2000. 135 pages. L'en connais un tellement gourmand qu'il ne pense qu'a s'empiffrer, meme quand ce n'est pas le moment. Soft cover has a small crease to top front corner. No former owner's name. Two noticed corner folds in text. Mass Market Good-.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 3,17
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Bonne Condition +. Légères traces d'usure sur la couverture. Intérieur frais. 194 p.Envoi soigné. Signé Par Un Des auteurs/dédic.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 3,17
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Bonne Condition. Rares traces d'usure. 193 p. Envoi soigné.
Altre immagini- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 3,17
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Bonne Condition. Couverture légèrement usée. Voir photo. Intérieur propre. Envoi soigné.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 3,17
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Bonne Condition. Couverture légèrement usée sinon en très bonne condition. Intérieur frais. 151 p.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 3,17
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Bonne Condition. (Note pour le vendeur, code 12 715). Couverture légèrement usée. Intérieur propre. Envoi soigné.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 4,50
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Format Poche. Condizione: Bonne Condition. Couverture légèrement usée. Intérieur propre. Envoi soigné.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 24,71
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 9,51
EUR 17,49 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Format Poche. Condizione: Bonne Condition. (Note pour le vendeur, code 31 874). Couverture légèrement usée. Intérieur propre. Envoi soigné.
Editore: Vents d'Ouest, Gatineau/Québec, 1998
- Brossura
- Firmato
Da: Librairie Bonheur d'occasion (LILA / ILAB), Montréal, QC, CanadaLibrairie Bonheur d'occasion (LILA / ILAB)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 7,61
EUR 20,98 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. 170 pages. Coll. "Rafales". Dédicace à l'écrivaine québécoise Marie-Claire Blais. Size: In-8. Signé par l'auteur.
Lingua: Francese
Editore: Vents d'Ouest, Hull, 1997
- Brossura
Da: Claudine Bouvier, Gatineau, QC, CanadaClaudine Bouvier
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 6,97
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. Coll. ado, 133 p. Nom d'un ancien propriétaire. code 1562.
Lingua: Francese
Editore: vents d'Ouest, Hull, 1998
- Brossura
- Firmato
Da: Claudine Bouvier, Gatineau, QC, CanadaClaudine Bouvier
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 8,88
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. Coll. ado, 109 p. Dédicacé par Michel Lavoie et Claude Bolduc code 1562. Dédicacé par l'auteur.
Lingua: Francese
Editore: Vents d'Ouest, Holl, 1999
- Brossura
- Firmato
Da: Claudine Bouvier, Gatineau, QC, CanadaClaudine Bouvier
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 8,88
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. Coll. Roman ado horreur, 169 p. Dédicacé. code 1562. Dédicacé par l'auteur.
Lingua: Francese
Editore: Vents d,ouest, Hull, 2002
- Brossura
Da: Livresse, Gatineau, QC, CanadaLivresse
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 12,68
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. 198 p. Code 432b.
Lingua: Francese
Editore: Vents d'Ouest, Holl, 2000
- Brossura
- Firmato
Da: Claudine Bouvier, Gatineau, QC, CanadaClaudine Bouvier
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 13,31
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. Coll. Nouvelles ado, 134 p. Dédicacé. code 1562. Dédicacé par l'auteur.
Editore: La Societe D'Histoire Postale du Quebec, 1989
- Brossura
Da: Attic Books (ABAC, ILAB), London, ON, CanadaAttic Books (ABAC, ILAB)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 27,02
EUR 13,11 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Near fine. viii, 133 p. 28 cm. B&w illustrations. Spiral binding. A few marks on exterior.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,70
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter program…s, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21-23 in Lac-Beauport, a suburb of Qu' ebec City, Canada, prior to AMAST 2010 (June 23-26). The previous nine conferences were held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got . eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004,inStirling,UK(LNCS3125);in2006inKuressaare,Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133).The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers,and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov's EasyChair system that we highly recommend to every Program Chair. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Lingua: Francese
Editore: IRNS-Urbanisation, Québec, 1995
- Brossura
Da: Claudine Bouvier, Gatineau, QC, CanadaClaudine Bouvier
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 20,29
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. 60 p. Étude commandée par le Secrétariat à la Restructuration, ministère du Conseil exécutif, gouvernement du Québec, pour le référendum de 1995 code 1279.
Lingua: Francese
Editore: INRS-Urbanisation, 1995
- Brossura
Da: Livresse, Gatineau, QC, CanadaLivresse
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 22,19
EUR 31,48 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: Très bon. 60 p. Étude commandée par le Secrétariat à la Restructuration, ministère du Conseil exécutif, gouvernement du Québec, pour le référendum de 1995.
- Brossura
- Prima edizione
Da: J.C. Bell, Lunenburg, NS, CanadaJ.C. Bell
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 12,61
EUR 46,30 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Trade Paperback. Condizione: Near Fine. First Edition. 194 pp; very minor wear. [05].
- Brossura
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 16,95
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: bon. R200123839: 2007. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 386 pages, exemplaire de bibliothèque, couverture plastifiée, tampons et étiquettes. . . . Classification Dewey : 840.092-XXI ème siècle.
- Brossura
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 16,95
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture souple. Condizione: bon. R200123819: 2008. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 281 page, exemplaire de bibliothèque, couverture plastifiée, tampons et étiquettes. . . . Classification Dewey : 843.0876-La science-fiction.
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Bolduc, Claude (Editor) / Desharnais, Jules (Editor) / Ktari, Bechir (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,18
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 427 pages. 9.25x6.25x1.00 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,38
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: New. Invited Talks.- The Algorithmics of Solitaire-Like Games.- Compositionality of Secure Information Flow.- Process Algebras for Collective Dynamics.- Contributed Talks.- On Automated Program Construction and Verification.- The Logic of Large Enough.- Dependen.
- Brossura
Da: LiLi - La Liberté des Livres, CANEJAN, FranciaLiLi - La Liberté des Livres
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 6,49
EUR 65,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: very good. Envois soignes sous 24h.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,46
EUR 63,18 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Neuware - This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande ective in the processof constructingc- puter progra…ms, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21 23 in Lac-Beauport, a suburb of Qu ebec City, Canada, prior to AMAST 2010 (June 23 26). The previous nine conferences were held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004,inStirling,UK(LNCS3125);in2006inKuressaare,Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133). The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers,and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov s EasyChair system that we highly recommend to every Program Chair.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 62,15
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 425 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Editore: 2005, 2005
Da: ChouetteCoop, Kervignac, FranciaChouetteCoop
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 14,70
EUR 495,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: Used: Good. Occasion - Bon Etat - Petites cruautes (2005) - Grand Format.
