Importo totale (1 articolo articoli):
Destinazione ordine:
formal methods distributed processing (40 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (40)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (36)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (7)
- Non Print on Demand (28)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Methods for Distributed Processing
Lingua: Inglese
Editore: Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. x + 480 1st Edition.
-
Formal Methods for Distributed Processing
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 31,61
EUR 7,40 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 27,83
EUR 12,11 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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. A survey of object-oriented approaches.
Lingua: Inglese
Editore: Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
EUR 26,50
EUR 16,00 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 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
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 35,21
EUR 9,95 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. x + 480.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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 (Hb 2001)
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Methods for Distributed Processing (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
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, 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. 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
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,32
EUR 13,64 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
EUR 76,45
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,01
EUR 17,63 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods for Open Object-Based Distributed Systems: v. 4 (IFIP International Federation for Information Processing)
Lingua: Inglese
Editore: Kluwer Academic Publishers, 2000
ISBN 10: 0792379233 ISBN 13: 9780792379232
Da: New Book Sale, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 41,04
EUR 56,91 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service.
-
Formal Methods For Distributed Processing
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Distributed Processing
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
EUR 122,07
Spedizione gratuita
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
EUR 68,96
EUR 64,58 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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.
-
Formal Methods For Distributed System Development (ifip International Federation For Information Processing)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Excellent Customer Service.
-
Formal Methods For Distributed System Development (ifip International Federation For Information Processing)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Formal Methods for Distributed Processing (Hardcover)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This book presents the current state of the art in the application of formal methods to object based distributed systems. A major theme of the book is how to formally handle the new 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 new 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 collection of comprehensive surveys by leading researchers presents the current state of the art in the application of formal methods to object based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. 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
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 170,00
EUR 28,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Edizione InternazionaleFORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Lingua: Inglese
Editore: CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 188,54
EUR 14,77 shipping
Spedito da Regno Unito a U.S.A.Quantità: 6 disponibili
Aggiungi al carrelloCondizione: 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 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 236,38
EUR 17,07 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 480 pages. 10.25x7.25x1.25 inches. In Stock.
-
Formal Methods for Distributed Processing
Lingua: Inglese
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
EUR 222,33
EUR 65,56 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. 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.
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 311,87
EUR 28,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Formal Methods for Distributed Processing: A Survey of Object-oriented Approaches
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,88
EUR 14,23 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,83
EUR 22,25 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
