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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods for Open Object-Based Distributed Systems V

Name: Formal Methods for Open Object-Based Distributed Systems V
Brand: Springer
SKU: 01397198
Price: 90.79 EUR
Availability: InStock
Author: Bart Jacobs
ISBN: 9780792376835

Bart Jacobs

Arend Rensink

Lingua

Inglese

Libro Rigido

Codice Libristo: 01397198

Casa editrice Springer, marzo 2002

Formal Methods for Open Object-Based Distributed Systems V brings together research in three importa... Descrizione completa

Codice Libristo: 01397198

222 b

90.79 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Von den Besiegten lernen? Esther-Julia Howell

Adobe ePub DRM

3.79 €

Il est un autre temps Durand

In brossura

19.49 €

Gramatica de la lengua latina; Volume 1 Gregorio Mayans y Siscar

Rigido

25.89 €

LA CAÇADORA DE MASIES LLORET

In brossura

16.49 €

EinFach Deutsch Unterrichtsmodelle Norbert Schläbitz

In brossura

31.79 €

Sayonara, meine Bücher Kenzaburo Oe

Rigido

18.99 €

Allgemeine Encyklopädie der Wissenschaften und Künste Ersch

In brossura

25.79 €

Básne SK/CZ 2021 collegium

In brossura

7.19 €

BENVENUTA PANDEMIA ... si fa per dire: Storia prossima dell'umanit? Giuseppe Floridia

In brossura

14.89 €

Hypomineralisation de l'incisive molaire Bhavna Gupta Saraf

In brossura

48.09 €

Trionfi Curtis George William Curtis

In brossura

19.19 €

Der Weltensammler Ilija Trojanow

In brossura

13.39 €

L'Innovation Verte Sophie Boutillier

In brossura

56.19 €

La Conception Morale Et Civique de l'Enseignement Fouillee-A

In brossura

15.49 €

Das Glück, geliebt zu werden (Puzzle) Heike Hultsch

Gioco

28.59 €

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: §Formal methods; §Distributed systems; §Object-based technology.§Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.§This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.