Importe total (1 artículo artículos):
Destino del pedido:
hinchey michael (189 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (189)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (146)
- Como nuevo, Excelente o Muy bueno (24)
- Bueno o Aceptable (16)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (3)
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (80)
- No impresión bajo demanda (149)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Industrial-Strength Formal Methods in Practice
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 4,48
Convertir monedaEUR 10,38 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9781852336400.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 31,05
Usado desde EUR 14,86
Encuentre también Tapa blanda
-
Applications of Formal Methods
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 7,55
Convertir monedaEUR 5,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 13,28
Encuentre también Tapa dura Original o primera edición
-
Formal Approaches to Agent-Based Systems. Second International Workshop, FAABS 2002. Revised Papers.
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Miembro de asociación: GIAQ ILAB VDA
Calificación del vendedor: 5 de 5 estrellas
EUR 10,00
Convertir monedaEUR 10,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoIX, 295 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Artificial Intelligence, Vol. 2699. Sprache: Englisch.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 20,00
Encuentre también Tapa blanda
-
Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)
Publicado por McGraw-Hill Publishing Co., 1995
ISBN 10: 0077076494 ISBN 13: 9780077076498
Idioma: Inglés
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 16,58
Convertir monedaEUR 6,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
-
Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation (Paperback or Softback)
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,60
Convertir monedaEUR 10,72 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation (Paperback or Softback) 0.13.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 23,32
Usado desde EUR 28,14
Encuentre también Tapa blanda
-
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science, 1212)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 27,27
Convertir monedaEUR 4,50 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 31,77
Encuentre también Tapa blanda
-
Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, Wrac 2005, Greenbelt, MD, Usa, Sep
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 28,77
Convertir monedaEUR 8,05 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.25.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 44,09
Usado desde EUR 36,82
Encuentre también Tapa blanda
-
Formal Approaches to Agent-Based Systems
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 29,43
Convertir monedaEUR 10,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 384 Illus.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 39,57
Usado desde EUR 85,60
Encuentre también Tapa blanda
-
High-Integrity System Specification and Design
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,09
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 44,09
Encuentre también Tapa blanda
-
Teaching and Learning Formal Methods
Publicado por Morgan Kaufmann Publishers In, 1996
ISBN 10: 0123490405 ISBN 13: 9780123490407
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 39,03
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Applications of Formal Methods
Librería: Webbooks, Wigtown, Wigtown, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 25,95
Convertir monedaEUR 22,91 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHard Cover. Condición: Good. No Jacket. First Edition. From an academic library with the usual stamps etc. This item is heavy and will attract postal surcharges. A00023980.
-
First International Conference on Formal Engineering Methods, Hiroshima, Japan, November 12 - 14, 1997. ICFEM '97.
Publicado por IEEE Computer Society Press, 1997, XI + 328 PP., 1997
ISBN 10: 0818680024 ISBN 13: 9780818680021
Idioma: Inglés
Librería: Eryops Books, Stephenville, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,62
Convertir monedaEUR 38,58 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoft Cover. Condición: Very Good. Ex-library; minor shelfwear; o/w in very good condition.
-
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science, 1493)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,94
Convertir monedaEUR 5,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 106,49
Encuentre también Tapa blanda
-
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3228)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,94
Convertir monedaEUR 5,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 64,49
Usado desde EUR 78,35
Encuentre también Tapa blanda
-
Artificial Intelligence and Its Applications
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,53
Convertir monedaEUR 3,99 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 69,52
Encuentre también Tapa blanda
-
Understanding Formal Methods
Publicado por Springer- Verlag London Limited, London, 2003
ISBN 10: 1852332476 ISBN 13: 9781852332471
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,88
Convertir monedaEUR 7,44 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Paperback in very good condition. Cover corners are slightly bumped and rubbed. Covers are clean, binding is sound and pages are clear. LW. Used.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 156,57
Usado desde EUR 72,32
Encuentre también Tapa blanda
-
Formal Methods and Software Engineering
Publicado por Springer Berlin Heidelberg, 2007
ISBN 10: 3540766480 ISBN 13: 9783540766483
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 64,08
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented wer.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 83,57
Usado desde EUR 106,61
Encuentre también Tapa blanda
-
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 20,99
Convertir monedaEUR 64,31 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 111,76
Usado desde EUR 85,30
Encuentre también Tapa blanda
-
Artificial Intelligence and Its Applications: First International Conference, ICAIA 2023, Pune, India, December 18-19, 2023, Proceedings, Part II (Communications in Computer and Information Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,49
Convertir monedaEUR 5,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 89,63
Encuentre también Tapa blanda
-
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 87,23
Convertir monedaEUR 37,73 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 124,96
Usado desde EUR 195,41
Encuentre también Tapa dura
-
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,24
Convertir monedaEUR 5,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 169,38
Encuentre también Tapa blanda
-
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 225,58
Convertir monedaEUR 5,14 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 218,72
Encuentre también Tapa dura
-
Conquering Complexity
Publicado por Springer-Verlag New York Inc, 2012
ISBN 10: 1447122968 ISBN 13: 9781447122968
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 238,15
Convertir monedaEUR 11,45 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 466 pages. 9.25x6.25x1.00 inches. In Stock.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 155,65
Encuentre también Tapa dura
-
Innovative Concepts for Autonomic and Agent-Based Systems. Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
Publicado por Springer, 2006
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,47
Convertir monedaEUR 64,31 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Agent Technology from a Formal Perspective
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 136,16
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides an in-depth look at formal methods research as it applies to agent-based systemsGives an in-depth look at formal method tools that are being applied to agent-based systemsProvides an overview of agent technology and formal methods .
