Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods for Open Object-Based Distributed Systems, 1

Name: Formal Methods for Open Object-Based Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254113
Price: 214.29 EUR
Availability: InStock
Author: Paolo Ciancarini
ISBN: 9781475752663

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15 18, 1999, Florence, Italy

Paolo Ciancarini

Alessandro Fantechi

Roberto Gorrieri

Lingua

Inglese

Libro In brossura

Codice Libristo: 02254113

Casa editrice Springer, Berlin, gennaio 2013

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several relate... Descrizione completa

Codice Libristo: 02254113

524 b

214.29 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Disney,The Princess and the Frog

Gioco

15.69 €

Abenteuer Der Neujahrsnacht Heinrich Zschokke

Rigido

23.39 €

Bei Sonnenaufgang. Der siebte Fall für Gamache Hans-Werner Meyer

Digitale

21.59 €

mondo dei fagioli ribelli. Il diritto alla normalità dei bambini con malattia renale cronica. Svezzamento, cure, scuola, socialità, alimentazione, spo Bruno Damini

In brossura

26.29 €

Depression im Jugendalter - unter besonderer Berücksichtigung der Komorbidität zwischen Angst und Depression und Aggression und Depression Alexandra Nussbaumer

In brossura

49.39 €

13. Bezirk von Berlin Volker Ludecke

In brossura

12.19 €

Him - Hofe Willi Gorzny

Rigido

134.29 €

El Secreto de la Felicidad: Bitacora de un Viaje al Interior Montse Lopez Ballester

In brossura

12.49 €

Ein Motiv aus dem Kalender Klassische Lastkraftwagen (Puzzle) Stefan Bau

Gioco

35.79 €

Hirurgiya sosudov Alexej Lyzikov

In brossura

52.49 €

Des Voies d'Acces Sur Les Voies Spermatiques Profondes Jobard-P

In brossura

15.09 €

Slownik medyczny polsko-norweski + definicje hasel + CD (slownik elektroniczny) Lemańska Aleksandra

In brossura

19.69 €

Mýtus o znovuzrození Jakub Drábik

In brossura

10.89 €

Moeglichkeiten und Grenzen betrieblicher Gesundheitszirkel Martin Franke

In brossura

35.49 €

Ponyhof Apfelblüte (Band 1) - Lena und Samson Pippa Young

Rigido

9.49 €

Integration Der Englischen in Die Deutsche Sprache Im 19. Und 20. Jahrhundert Florian Schneider

In brossura

16.89 €

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. §This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. §Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.