Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: Irish Booksellers, Portland, ME, U.S.A.
Book
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by EDIÇOES COLIBRI, 2006
ISBN 10: 9727726666ISBN 13: 9789727726660
Seller: Imosver, PONTECALDELAS, Spain
Book
Condition: Nuevo. O VI Curso de História Contemporânea organizado pela Fundação Mário Soares e pelo Departamento de História Contemporânea da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa realizou-se sob o signo da evolução da União Europeia, desde o momento em que os "pais fundadores" conceberam uma Comunidade apta a contrariar a tendência multissecular para a proliferação das guerras civis no "velho continente" e a criar condições para a criação de um espaço de segurança e de paz, de desenvolvimento e de pluralismo cultural democrático. O momento em que o Curso ocorreu coincidiu com a transição entre o termo dos trabalhos da Convenção para o Futuro da Europa e a conclusão da Conferência Intergovernamental (CIG). Sente-se, por isso, ao longo das diversas exposições uma natural fixação nas conclusões da Convenção e no método convencional. Verificar-se-á, porém, que não perderam actualidade, no essencial, estas reflexões, já que a CIG procedeu a alterações muito vezes de pormenor, ainda que relevantes, designadamente quando ao modo de apurar o voto por maioria qualificada ou quanto à composição da Comissão europeia, que não alteram, no essencial, as análises a que procedem os autores das intervenções ao longo do Curso. Os textos que constituem a presente publicação são, deste modo, ainda hoje importantes para acompanhar e aprofundar o debate europeu que terá de prosseguir, com base nos textos que constituem hoje o projecto de Tratado Constitucional.
Published by Bartlebooth, 2023
ISBN 10: 8412716507ISBN 13: 9788412716504
Seller: Agapea Libros, Malaga, Spain
Book
Condition: New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.
Published by EDIÇOES COLIBRI, 2006
ISBN 10: 9727726666ISBN 13: 9789727726660
Seller: Moshu Books, MADRID, Spain
Book
No Binding. Condition: New. Titulo: Europa, Portugal e a Constituição Europeia - VI Curso Livre de História ContemporâneaAutor: Guilherme d´Oliveira Martins, José Medeiros Ferreira, Nuno Severiano Teixeira, Fernando Rosas, AntónISBN13: 9789727726660Nos encontramos a su disposicion. Cualquier duda o consulta sera respondida a la brevedad.
Published by NY U.S.A. Springer-Verlag New York New York, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: CSG Onlinebuch GMBH, Darmstadt, Germany
Book
Softcover. Condition: Gebraucht. Gebraucht - Gut Zustand: Gut, VII, 255 pp. About this book: This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view. Written for researchers, professionals Englisch.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer 26.03.2001., 2001
ISBN 10: 3540417915ISBN 13: 9783540417910
Seller: NEPO UG, Rüsselsheim am Main, Germany
Book
Condition: Sehr gut. Auflage: 2001. 648 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 22,9 x 15,5 x 2,5 cm, Taschenbuch.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Okt 2009, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof. 192 pp. Englisch.
Published by Springer Berlin Heidelberg Jun 2000, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of MPC 2000, the fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is on techniques that combine precision with concision, 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, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high. However,the number of submissions has decreased compared to the pre- ous conferences in the series. Each paper was refereed by at least ve and often more committee members. In order to maintain the high standards of the c- ference the committee took a stringent view on quality; this has meant that, in some cases, a paper was rejected even though there was a basis for a good c- ference or journal paper but the submitted paper did not meet the committee's required standards. In a few cases a good paper was rejected on the grounds that it did not t within the scope of the conference. 272 pp. Englisch.
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 1st edition. 175 pages. 9.00x6.00x0.50 inches. In Stock.
Published by Springer Verlag, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 1st edition. 255 pages. 9.25x6.25x0.75 inches. In Stock.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 192.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e ectively with simple, mathematical abstractions, and with practical notions of inference and proof.
Published by Springer Berlin Heidelberg, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of MPC 2000, the fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is on techniques that combine precision with concision, 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, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high. However,the number of submissions has decreased compared to the pre- ous conferences in the series. Each paper was refereed by at least ve and often more committee members. In order to maintain the high standards of the c- ference the committee took a stringent view on quality; this has meant that, in some cases, a paper was rejected even though there was a basis for a good c- ference or journal paper but the submitted paper did not meet the committee's required standards. In a few cases a good paper was rejected on the grounds that it did not t within the scope of the conference.
Published by Springer 2009-10, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer 2000-06, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal .
Published by Springer Berlin Heidelberg, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and.
Published by Springer, 2000
ISBN 10: 3540677275ISBN 13: 9783540677277
Seller: ALLBOOKS1, Salisbury Plain, SA, Australia
Book
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: ALLBOOKS1, Salisbury Plain, SA, Australia
Book
Published by Springer, 2009
ISBN 10: 3642049117ISBN 13: 9783642049118
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Escolar Editora, 2013
ISBN 10: 9725923847ISBN 13: 9789725923849
Seller: LibreriaElcosteño, Ciudad de Buenos Aires, BA, Argentina
Book
Tapa Blanda. Condition: New. IMAGENES: En caso que no exista imagen de tapa. no dude en solicitarla. Ejemplar Nuevo.
Published by Escolar Editora, 2013
ISBN 10: 9725923847ISBN 13: 9789725923849
Seller: LibreriaElcosteño, Ciudad de Buenos Aires, BA, Argentina
Book
Tapa Blanda. Condition: New. IMAGENES: En caso que no exista imagen de tapa. no dude en solicitarla. Ejemplar Nuevo.