EUR 3,37
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
EUR 3,14
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: 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.
Idioma: Francés
Publicado por Vents d'Ouest Editions, Hull, PQ, Canada, 2000
ISBN 10: 2895370168 ISBN 13: 9782895370161
Librería: Ghost River Rare and Used Books, Cremona, AB, Canada
EUR 7,08
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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-.
EUR 3,22
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Bonne Condition. (Note pour le vendeur, code 12 715). Couverture légèrement usée. Intérieur propre. Envoi soigné.
EUR 3,22
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Bonne Condition. Couverture légèrement usée. Voir photo. Intérieur propre. Envoi soigné.
EUR 3,22
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: 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.
EUR 3,22
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Bonne Condition. Couverture légèrement usée sinon en très bonne condition. Intérieur frais. 151 p.
Librería: La Bouquinerie à Dédé, Gatineau, QC, Canada
EUR 3,22
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Bonne Condition. Rares traces d'usure. 193 p. Envoi soigné.
EUR 4,43
Cantidad disponible: 1 disponibles
Añadir al carritoFormat Poche. Condición: Bonne Condition. Couverture légèrement usée. Intérieur propre. Envoi soigné.
EUR 9,65
Cantidad disponible: 1 disponibles
Añadir al carritoFormat Poche. Condición: Bonne Condition. (Note pour le vendeur, code 31 874). Couverture légèrement usée. Intérieur propre. Envoi soigné.
Publicado por Vents d'Ouest, Gatineau/Québec, 1998
Librería: Librairie Bonheur d'occasion (LILA / ILAB), Montréal, QC, Canada
Ejemplar firmado
EUR 7,72
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. 170 pages. Coll. "Rafales". Dédicace à l'écrivaine québécoise Marie-Claire Blais. Size: In-8. Signé par l'auteur.
Idioma: Francés
Publicado por Vents d'Ouest, Hull, 1997
Librería: Claudine Bouvier, Gatineau, QC, Canada
EUR 7,08
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. Coll. ado, 133 p. Nom d'un ancien propriétaire. code 1562.
Idioma: Francés
Publicado por vents d'Ouest, Hull, 1998
Librería: Claudine Bouvier, Gatineau, QC, Canada
Ejemplar firmado
EUR 9,01
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. Coll. ado, 109 p. Dédicacé par Michel Lavoie et Claude Bolduc code 1562. Dédicacé par l'auteur.
Idioma: Francés
Publicado por Vents d'Ouest, Holl, 1999
Librería: Claudine Bouvier, Gatineau, QC, Canada
Ejemplar firmado
EUR 9,01
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. Coll. Roman ado horreur, 169 p. Dédicacé. code 1562. Dédicacé par l'auteur.
EUR 22,16
Cantidad disponible: 1 disponibles
Añadir al carritoÉtat de NEUF / New condition 000-234046 '9782925332039 10/10/2023 Hors-collection Broché.
Idioma: Francés
Publicado por Vents d,ouest, Hull, 2002
Librería: Livresse, Gatineau, QC, Canada
EUR 12,87
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. 198 p. Code 432b.
Idioma: Francés
Publicado por Vents d'Ouest, Holl, 2000
Librería: Claudine Bouvier, Gatineau, QC, Canada
Ejemplar firmado
EUR 13,51
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. Coll. Nouvelles ado, 134 p. Dédicacé. code 1562. Dédicacé par l'auteur.
Publicado por La Societe D'Histoire Postale du Quebec, 1989
Librería: Attic Books (ABAC, ILAB), London, ON, Canada
EUR 26,60
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Near fine. viii, 133 p. 28 cm. B&w illustrations. Spiral binding. A few marks on exterior.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642133207 ISBN 13: 9783642133206
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 65,35
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, 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.
Idioma: Francés
Publicado por IRNS-Urbanisation, Québec, 1995
Librería: Claudine Bouvier, Gatineau, QC, Canada
EUR 20,59
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: 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.
Idioma: Francés
Publicado por INRS-Urbanisation, 1995
Librería: Livresse, Gatineau, QC, Canada
EUR 22,52
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: 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.
Idioma: Francés
Publicado por Vents d'Ouest, Hull, Quebec, 2002
ISBN 10: 2895370540 ISBN 13: 9782895370543
Librería: J.C. Bell, Lunenburg, NS, Canada
Original o primera edición
EUR 12,41
Cantidad disponible: 1 disponibles
Añadir al carritoTrade Paperback. Condición: Near Fine. First Edition. 194 pp; very minor wear. [05].
EUR 16,95
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: 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.
EUR 16,95
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: 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.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,03
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 427 pages. 9.25x6.25x1.00 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642133207 ISBN 13: 9783642133206
Librería: moluna, Greven, Alemania
EUR 64,08
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: 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.
EUR 6,49
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Envois soignes sous 24h.
Librería: Buchpark, Trebbin, Alemania
EUR 29,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 425 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2010
ISBN 10: 3642133207 ISBN 13: 9783642133206
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 79,32
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande ective in the processof constructingc- puter programs, 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.
Publicado por Joel Charpentier, 2006
Librería: Librairie Diona, Lattes, Francia
Original o primera edición Ejemplar firmado
EUR 32,00
Cantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: Très bon. Edition originale. ln-8° broché, 160 pages. Signé par l'auteur.