Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 €
phone Contatto phoneCome acquistare

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods for Open Object-Based Distributed Systems Elie Najm
Codice Libristo: 01558784
Casa editrice Springer, Berlin, novembre 2002
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Biblioteca Escolar na Visao dos Estudantes do Curso Pedagogia UFAL Maria Rejane Silva Barros / Libro In brossura
common.buy 38.89 €
EL CRIMEN DE LAS HERMANAS CRUZ De Ganzo / Libro Rigido
common.buy 20.59 €
grande libro dei tarocchi Roberto La Paglia / Libro In brossura
common.buy 20.49 €
Guida di Enna per ragazzi Lietta Valvo Grimaldi / Libro Libro
common.buy 11.40 €

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.§The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods for Open Object-Based Distributed Systems
Autore Elie Najm, Uwe Nestmann, Perdita Stevens
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 340
EAN 9783540204916
ISBN 3540204911
Codice Libristo 01558784
Casa editrice Springer, Berlin
Peso 499
Dimensioni 155 x 235 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione orientata agli oggetti (OOP)
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Basic Vocabulary Of Elementary School Children Henry D. Rinsland / Libro In brossura
common.buy 30.69 €
The Metaphysical Theory of the State L T Hobhouse / Libro In brossura
common.buy 8.69 €
History of the Decline and Fall of the Roman Empire Edward Gibbon / Libro Rigido
common.buy 43.99 €
Routledge Introduction to American War Literature HAYTOCK / Libro Rigido
common.buy 209.49 €
Report of the Trial of David Landale, Esq. Before the Circuit Court of Justiciary, at Perth, on Friday, 22d September, 1826 Alexander Wood / Libro In brossura
common.buy 9.59 €
History Making in Central and Northern Eurasia Svetlana Jacquesson / Libro Rigido
common.buy 118.09 €
Jerk from Jamaica Helen Willinsky / Libro In brossura
common.buy 16.29 €
Geraldine's Husband. [A Novel.] Mary MacLeod / Libro In brossura
common.buy 17.89 €
Game Theoretic Risk Analysis of Security Threats Vicki M. Bier / Libro Rigido
common.buy 132.69 €
When Enough is Enough R J (Author) Berry / Libro In brossura
common.buy 17.49 €
Sustainable Logistics Cathy Macharis / Libro Rigido
common.buy 150.39 €
Language of Fictional Television Monika Bednarek / Libro Rigido
common.buy 188.09 €
Pop-up City Jeroen Beekmans / Libro Rigido
common.buy 39.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?