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, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New. pp. 454.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Libro
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Libro
Condición: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Libro
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Majestic Books, Hounslow, Reino Unido
Libro
Condición: New. pp. 454 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Publicado por SP SPRINGER, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Kanic Books, London, LONDO, Reino Unido
Libro
Condición: New. New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I "Special Note" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Libro
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Libro
Condición: As New. Unread book in perfect condition.
Publicado por Springer, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
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 Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra. 452 pp. Englisch.
Publicado por Springer
Librería: Books in my Basket, New Delhi, India
Libro
Soft cover. Condición: New. ISBN:9783540799795.
Publicado por Springer Berlin Heidelberg, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Buchpark, Trebbin, Alemania
Libro
Condición: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen | Seiten: 452 | Sprache: Englisch.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Libro
Condición: New. Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 447 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 688. . 2008. Paperback. . . . .
Publicado por Springer Berlin Heidelberg, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
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 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.
Publicado por Springer Berlin Heidelberg, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were .
Publicado por Springer 2008-07, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Libro
Condición: New. Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 447 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 688. . 2008. Paperback. . . . . Books ship from the US and Ireland.