Importo totale (1 articolo articoli):
Destinazione ordine:
formal methods distributed processing (41 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (41)
- 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
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 (5)
- Non Print on Demand (35)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Methods for Protocol Engineering and Distributed Systems (International Federation for Information Processing, Volume 28)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,64
Convertire valutaEUR 20,78 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (SALE ITEM)* 497 pp., hardcover, ex library, else text and binding still clean, tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Formal methods for distributed processing. A survey of object-oriented approaches.
Editore: Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 24,01
Convertire valutaEUR 4,62 per la spedizione da Regno Unito a ItaliaQuantità: 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
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 45,46
Convertire valutaEUR 22,51 per la spedizione da U.S.A. a ItaliaQuantità: 7 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,25
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 492 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,32
Convertire valutaEUR 10,57 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press CUP, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 76,66
Convertire valutaEUR 7,79 per la spedizione da U.S.A. a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 492.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 75,88
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 492.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,98
Convertire valutaEUR 23,50 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 88,71
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 6 disponibili
Aggiungi al carrelloCondizione: 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)
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 99,77
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
EUR 85,87
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
-
Formal Methods For Distributed Processing
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 102,31
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 102,31
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press CUP, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 96,92
Convertire valutaEUR 7,79 per la spedizione da U.S.A. a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. x + 480 1st Edition.
-
Formal Methods for Distributed Processing (Paperback)
Editore: Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,22
Convertire valutaEUR 35,27 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 96,27
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 103,18
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. x + 480.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 57,91
Convertire valutaEUR 64,93 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Distributed Processing (Paperback)
Editore: Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 92,32
Convertire valutaEUR 32,03 per la spedizione da Australia a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Methods for Distributed Processing (Paperback)
Editore: Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759 ISBN 13: 9780521168755
Lingua: Inglese
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 70,92
Convertire valutaEUR 64,93 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. 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 Protocol Engineering And Distributed Systems (international Federation For Information Processing Volume 28)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 143,58
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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 System Development (ifip International Federation For Information Processing)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 156,24
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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 System Development (ifip International Federation For Information Processing)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 156,24
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 174,88
Convertire valutaEUR 10,57 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 175,58
Convertire valutaEUR 29,39 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Formal Methods for Distributed Processing (Hardcover)
Editore: Cambridge University Press, Cambridge, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 184,04
Convertire valutaEUR 35,27 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 231,55
Convertire valutaEUR 10,57 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
EUR 150,56
Convertire valutaEUR 93,49 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
Formal Methods for Distributed Processing
Editore: Cambridge University Press, 2001
ISBN 10: 0521771846 ISBN 13: 9780521771849
Lingua: Inglese
EUR 227,60
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
