Formal methods distributed processing (41 risultati)
- Brossura
Da: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,62
EUR 3,95 spedizioneSpedito in U.S.A.Quantità: 6 disponibili
Condizione: New.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: 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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 68,79
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Antiquariat Bookfarm, Löbnitz, GermaniaAntiquariat Bookfarm
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 26,50
EUR 40,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. 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.
- Rilegato
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 70,08
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Rilegato
Da: Better World Books Ltd, Dunfermline, Regno UnitoBetter World Books Ltd
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 66,03
EUR 5,80 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Rilegato
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 61,22
EUR 12,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,37
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,67
EUR 17,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,57
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. . . . .
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 90,55
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. x + 480 1st Edition.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 90,19
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. x + 480 Illus.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 90,81
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. x + 480.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 100,58
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 492.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 94,75
EUR 9,23 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,78
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,78
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,12
EUR 64,58 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 170,81
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 191,88
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 173,24
EUR 29,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 194,73
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 & Vocatio…nal. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . .
- Rilegato
- Edizione Internazionale
Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 213,40
EUR 3,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 6 disponibili
Condizione: New. Brand New! Fast Delivery This is an 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 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if t…he Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 225,85
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 249,68
EUR 9,23 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 & Vocatio…nal. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . . Books ship from the US and Ireland.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 256,03
EUR 17,40 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 480 pages. 10.25x7.25x1.25 inches. In Stock.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 234,38
EUR 65,56 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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 dynami…c 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.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 293,91
EUR 29,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
- Print on Demand
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,11
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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, sub…typing, 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.
