Importe total (1 artículo artículos):
Destino del pedido:
software engineering formal methods (Más de 1.200 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (1.276)
- 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
Encuadernación
Más atributos
- Primera edición (39)
- 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 (357)
- No impresión bajo demanda (1.052)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 2,70
Convertir monedaEUR 6,89 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
-
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 2,70
Convertir monedaEUR 6,89 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Publicado por Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Idioma: Inglés
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 5,38
Convertir monedaEUR 5,74 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: Very Good. 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.
-
Software Development with Z: Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: Bahamut Media, Reading, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 4,96
Convertir monedaEUR 9,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
-
Software Development with Z: Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: AwesomeBooks, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 5,57
Convertir monedaEUR 9,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Software Development with Z: Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
-
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,96
Convertir monedaEUR 7,36 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.15.
-
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,22
Convertir monedaEUR 8,51 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.33.
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Publicado por Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Idioma: Inglés
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,95
Convertir monedaEUR 9,95 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoBroschiert. Condición: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Publicado por Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,96
Convertir monedaEUR 17,10 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Used book that is in clean, average condition without any missing pages.
-
Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 31,84
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.
-
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4;
Año de publicación: 1990
Idioma: Inglés
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 9,95
Convertir monedaEUR 7,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover-Grossformat; Condición: Gut. 149 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht berieben, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 420.
-
Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,25
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... (Lecture Notes in Computer Science, 5256)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 34,73
Convertir monedaGratis gastos de envío desde Australia a EspañaCantidad disponible: 3 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,44
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Practical Formal Methods in Software Engineering
Publicado por Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Idioma: Inglés
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 31,22
Convertir monedaEUR 12,35 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
-
Formal Methods and Software Engineering (eng)
Librería: Brook Bookstore, Milano, MI, Italia
Calificación del vendedor: 4 de 5 estrellas
EUR 41,49
Convertir monedaEUR 3,79 gastos de envío desde Italia a EspañaCantidad disponible: 5 disponibles
Añadir al carritoCondición: new.
-
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering MethodsICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,16
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November . (Lecture Notes in Computer Science, 14308)
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 41,01
Convertir monedaEUR 8,12 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.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 45,34
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,27
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,27
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, ... Papers (Lecture Notes in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,27
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods For Software Engineering 1st ed. 2022
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 34,43
Convertir monedaEUR 17,22 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 (Workshops in Computing)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 48,38
Convertir monedaEUR 4,51 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.
-
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,79
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
SOFTWARE ENGINEERING AND FORMAL METHODS
Librería: Speedyhen, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 44,65
Convertir monedaEUR 9,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: NEW.
-
Formal Methods For Software Engineering 1st ed. 2022
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,03
Convertir monedaEUR 17,03 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods in Databases and Software Engineering : Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15¿16 May 1992
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 38,50
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204 ISBN 13: 9783642397202
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,36
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,36
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
