Importe total (1 artículo artículos):
Destino del pedido:
formal methods distributed processing de bowman derrick (41 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (41)
- 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 (38)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- 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 (6)
- No impresión bajo demanda (26)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 32,96
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 38,69
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. x + 480 1st Edition.
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 35,14
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. x + 480.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 44,55
Envío por EUR 3,82
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,56
Gastos de envío gratis
Se envía dentro de 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 Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 66,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 66,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 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 distributed processing. A survey of object-oriented approaches.
Idioma: Inglés
Publicado por Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 26,50
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 480 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780521771849 Sprache: Englisch Gewicht in Gramm: 550.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 69,32
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 63,69
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,96
Envío por EUR 17,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 75,57
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . .
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 97,11
Envío por EUR 3,39
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 492.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 91,48
Envío por EUR 8,91
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 92,41
Envío por EUR 12,30
Se envía de Reino Unido a Estados Unidos de AmericaCantidad 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, 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 For Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 104,12
Gastos de envío gratis
Se envía dentro de 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 Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 105,51
Gastos de envío gratis
Se envía dentro de 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 Distributed Processing : A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 83,73
Envío por EUR 64,58
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 168,99
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 185,26
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 172,71
Envío por EUR 28,91
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Edición internacionalFORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Idioma: Inglés
Publicado por CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 200,62
Envío por EUR 6,93
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2002
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 194,73
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . .
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 241,06
Envío por EUR 8,91
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . . Books ship from the US and Ireland.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 247,19
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 480 pages. 10.25x7.25x1.25 inches. In Stock.
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 222,33
Envío por EUR 65,56
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
-
Formal Methods for Distributed Processing (Paperback)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 72,51
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Distributed Processing: A Survey of Object-oriented Approaches
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,53
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. reissue edition. 480 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 69,51
Envío por EUR 22,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Formal Methods for Distributed Processing
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 94,29
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 492 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
