Bolduc claude (18 Ergebnisse)
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 3,20
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: Ammareal, Morangis, FrankreichAmmareal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 3,15
EUR 16,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Softcover. Zustand: 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.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,17
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: 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.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,17
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: Bonne Condition. Rares traces d'usure. 193 p. Envoi soigné.
Weitere Bilder- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,17
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: Bonne Condition. Couverture légèrement usée. Voir photo. Intérieur propre. Envoi soigné.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,17
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: Bonne Condition. Couverture légèrement usée sinon en très bonne condition. Intérieur frais. 151 p.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 3,17
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: Bonne Condition. (Note pour le vendeur, code 12 715). Couverture légèrement usée. Intérieur propre. Envoi soigné.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 4,50
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Format Poche. Zustand: Bonne Condition. Couverture légèrement usée. Intérieur propre. Envoi soigné.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 24,70
Versand nach gratisVersand innerhalb von USAAnzahl: 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.
- Softcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 9,51
EUR 17,48 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Format Poche. Zustand: Bonne Condition. (Note pour le vendeur, code 31 874). Couverture légèrement usée. Intérieur propre. Envoi soigné.
Verlag: La Societe D'Histoire Postale du Quebec, 1989
- Softcover
Anbieter: Attic Books (ABAC, ILAB), London, ON, KanadaAttic Books (ABAC, ILAB)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 27,01
EUR 13,11 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Near fine. viii, 133 p. 28 cm. B&w illustrations. Spiral binding. A few marks on exterior.
- Softcover
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 16,95
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: 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.
- Softcover
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 16,95
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Couverture souple. Zustand: 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)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,16
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 427 pages. 9.25x6.25x1.00 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,38
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Zustand: 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.
- Softcover
Anbieter: LiLi - La Liberté des Livres, CANEJAN, FrankreichLiLi - La Liberté des Livres
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 6,49
EUR 65,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: very good. Envois soignes sous 24h.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,46
EUR 63,18 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: 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.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 62,15
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 425 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
