Tipo de artículo
Condición
Encuadernación
Más atributos
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer Verlag., New York, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
Libro
Hardcover. Condición: Near Fine. Hardcover 2004 edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in near fine condition. {399 pages}.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Libro
paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro Impresión bajo demanda
Soft Cover. Condición: new. This item is printed on demand.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2014
ISBN 10: 3662214075ISBN 13: 9783662214077
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro
Condición: New. In.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: New.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: New.
Publicado por Springer-Verlag New York Inc, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 476 pages. 9.25x6.10x1.02 inches. In Stock.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 466.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 2004 edition. 411 pages. German language. 9.25x6.00x1.00 inches. In Stock.
Publicado por Springer, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer International Publishing, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540223800ISBN 13: 9783540223801
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques 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 programmingmethodology,programspeci cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California. The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand pp. 466.
Publicado por Springer 2019-10, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer, 2019
ISBN 10: 3030336352ISBN 13: 9783030336356
Librería: SecondSale, Montgomery, IL, Estados Unidos de America
Libro
Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.