Importe total (1 artículo artículos):
Destino del pedido:
formal methods open object based de rensink arend (40 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (40)
- 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 (31)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- 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 (1)
- 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 (13)
- No impresión bajo demanda (28)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 14,99
Convertir monedaEUR 22,50 gastos de envío desde Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)
Librería: Prior Books Ltd, Cheltenham, Reino Unido
Miembro de asociación: ABA ILAB PBFA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 32,01
Convertir monedaEUR 25,33 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. First Edition. Publisher's hardback in nearly new condition: firm and square, strong joints, sharp corners, no bumps. Contents crisp, tight and clean; no pen-marks, save a previous owner's name at the endpaper. Not from a library so no such stamps or labels. Looks unread. Thus a tidy book in very presentable condition.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,09
Convertir monedaEUR 13,79 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods For Open Object-based Distributed Systems V
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 100,58
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Open Object-based Distributed Systems V
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 100,58
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad 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.
-
Formal Methods for Open Object-Based Distributed Systems V (Paperback)
Publicado por Springer-Verlag New York Inc., New York, NY, 2013
ISBN 10: 1475752687 ISBN 13: 9781475752687
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 106,92
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 104,59
Convertir monedaEUR 2,27 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,40
Convertir monedaEUR 3,43 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,40
Convertir monedaEUR 3,43 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Open Object-Based Distributed Systems V (Hardcover)
Publicado por Kluwer Academic Publishers, Dordrecht, 2002
ISBN 10: 0792376838 ISBN 13: 9780792376835
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 118,52
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. This work brings together research in three important and related fields: formal methods; distributed systems; and object-based technology. Such a convergence is representative of advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. The book comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 119,51
Convertir monedaEUR 2,27 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 111,60
Convertir monedaEUR 13,79 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 111,59
Convertir monedaEUR 17,27 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,75
Convertir monedaEUR 13,79 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 142,35
Convertir monedaEUR 3,43 gastos de envío en Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 292.
-
Formal Methods for Open Object-Based Distributed Systems
Publicado por Kluwer Academic Publishers, 2002
ISBN 10: 0792376838 ISBN 13: 9780792376835
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 132,21
Convertir monedaEUR 10,50 gastos de envío desde Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413. . 2002. annotated ed. Hardback. . . . .
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 146,62
Convertir monedaEUR 3,43 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 292.
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 152,65
Convertir monedaEUR 7,48 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 292 Illus.
-
Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede,
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 154,61
Convertir monedaEUR 14,39 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 296 pages. 10.98x8.27x0.66 inches. In Stock.
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 155,33
Convertir monedaEUR 9,95 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 292.
-
Formal Methods for Open Object-Based Distributed Systems
Publicado por Kluwer Academic Publishers, 2002
ISBN 10: 0792376838 ISBN 13: 9780792376835
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 165,50
Convertir monedaEUR 9,02 gastos de envío en Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Brings together research in three important and related fields: Formal methods; Distributed systems; and Object-based technology. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) held in Enschede, The Netherlands in March 2002. Editor(s): Jacobs, Bart (University of Nijmegen, Netherlands); Rensink, Arendt (University of Twente, Enschede, Netherlands). Series: IFIP Advances in Information and Communication Technology. Num Pages: 290 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 413. . 2002. annotated ed. Hardback. . . . . Books ship from the US and Ireland.
-
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
Publicado por Springer US, Springer US, 2013
ISBN 10: 1475752687 ISBN 13: 9781475752687
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 111,53
Convertir monedaEUR 63,59 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
-
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
Publicado por Springer US, Springer US, 2002
ISBN 10: 0792376838 ISBN 13: 9780792376835
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 114,36
Convertir monedaEUR 63,03 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
-
Formal Methods for Open Object-based Distributed Systems V : Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems Fmoods 2002, March 20-22, 2002, Enschede,
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 171,91
Convertir monedaEUR 17,27 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . in Information and Communication Technology)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 162,44
Convertir monedaEUR 28,78 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . and Communication Technology (81))
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 176,67
Convertir monedaEUR 28,78 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Formal Methods for Open Object-Based Distributed Systems V (Paperback)
Publicado por Springer-Verlag New York Inc., New York, NY, 2013
ISBN 10: 1475752687 ISBN 13: 9781475752687
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 192,78
Convertir monedaEUR 31,77 gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Methods for Open Object-Based Distributed Systems V (Hardcover)
Publicado por Kluwer Academic Publishers, Dordrecht, 2002
ISBN 10: 0792376838 ISBN 13: 9780792376835
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 199,61
Convertir monedaEUR 31,77 gastos de envío desde Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. This work brings together research in three important and related fields: formal methods; distributed systems; and object-based technology. Such a convergence is representative of advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. The book comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,61
Convertir monedaGratis gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Formal Methods for Open Object-Based Distributed Systems V
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,82
Convertir monedaEUR 4,79 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
