Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

ISBN 10: 0521168759 ISBN 13: 9780521168755

Editore: Cambridge University Press, 2011

Lingua: Inglese

Nuovi Condizione: New Brossura

Lista dei preferiti

Da Labyrinth Books, Princeton, NJ, U.S.A.

Valutazione del venditore 5 su 5 stelle

Venditore AbeBooks dal 18 dicembre 2023

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Nuovi - Brossura

Prezzo: EUR 45,51 Convertire valuta

EUR 22,54 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantit�: 7 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

Codice articolo 144511

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Formal Methods for Distributed Processing: A...

Casa editrice: Cambridge University Press

Data di pubblicazione: 2011

Legatura: Brossura

Condizione: New

Descrizione articolo

Riassunto:

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Descrizione del libro:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Labyrinth is an acclaimed independent bookstore serving the students and faculty of Princeton University as well as the town of Princeton and beyond. As the official bookstore for Princeton University, our independent store specializes in academic books for scholars, and we can always be relied upon to provide those books that form the backbone of current debates both inside and outside of the universities. We also carry books of broad and general interest: contemporary and classic literature, poetry, current events, history, philosophy, theology, cookbooks, comics, and books for children. We offer a large selection of constantly-changing inventory, daily sales and deep discounts on most books, used and antiquarian titles.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Great Jones Books, Inc.
27 Route 31 South, Pennington, NJ, 08534, U.S.A.

Condizioni di vendita:

Purchase will be shipped upon receipt of payment including any additional shipping costs. NJ residents add appropriate sales tax. If you are dissatisfied (Incorrect Item/Not as Described/Damaged) or if the order has not arrived by the latest estimated delivery date, you maybe be eligible for a refund within 30 days of the estimated delivery date. Please contact us for any other return inquiries, and we will respond within 2 business days.

Condizioni di spedizione:

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 lbs or less, or 1 kg. Heavy or oversized books may require additional shipping charges.

Domestic shipping: Under 2.2 lbs
Media Mail $4.00 per book + $1.00 for each additional book
Priority Mail $7.00 per book + $3.00 for each additional book

Standard Shipping orders will be delivered via UPS Ground and USPS Media Mail, typically 2-5 business days for in-stock items. In-stock items will generally ship by the next business day.

Please note: While the overwhelming majority of packages shipped via USPS Media Mail arrive within the time specified above, in rare cases shipments can take up to 3 to 5 weeks to arrive. Media Mail shipments to Alaska, Hawaii, Guam, Puerto Rico and APO/FPO addresses can take up 3 to 8 weeks to arrive.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Formal Methods for Distributed Processing: A Survey...

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Nuovi - Brossura

Informazioni sull?azienda del venditore