Importo totale (1 articolo articoli):
Destinazione ordine:
elie najm (63 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (63)
- 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 Maggiori informazioni
- Nuovo (47)
- Come nuovo, Ottimo o Quasi ottimo (13)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
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 (35)
- Non Print on Demand (51)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,83
Spedizione EUR 5,74
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen . in Information and Communication Technology)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,83
Spedizione EUR 8,03
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10: 3540462198 ISBN 13: 9783540462194
AffareEUR 5,22
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003
ISBN 10: 3540204911 ISBN 13: 9783540204916
AffareEUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003
ISBN 10: 3540204911 ISBN 13: 9783540204916
AffareEUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Affare
EUR 8,54
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Affare
EUR 8,54
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1998. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Affare
EUR 19,34
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2007. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2007. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,48
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science, 4745)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,39
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ... (Lecture Notes in Computer Science, 2884)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,39
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Sdl 2007: Design for Dependable Systems: 13th International Sdl Forum, Paris, France, September 18-21, 2007, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,56
Spedizione EUR 17,81
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,58
Spedizione EUR 17,81
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,30
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,38
Spedizione EUR 17,25
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,25
Spedizione EUR 17,25
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
SDL 2007, Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
ISBN 10: 3540749837 ISBN 13: 9783540749837
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,63
Spedizione EUR 11,50
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 289 pages. 9.00x6.00x0.75 inches. In Stock.
-
Formal Methods for Open Object-Based Distributed Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540204911 ISBN 13: 9783540204916
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,83
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Open Object-Based Distributed Systems.
Da: CSG Onlinebuch GMBH, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
EUR 14,88
Spedizione EUR 95,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, X, 293 p. About this book: 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. Written for Researchers and professionals.
-
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: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540204911 ISBN 13: 9783540204916
EUR 53,49
Spedizione EUR 62,35
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the eld of distributed systems,andprovideslinksbetweenseveralscienti candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci cation, design or analysis; component-based design; veri cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.
-
SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2007
ISBN 10: 3540749837 ISBN 13: 9783540749837
EUR 53,49
Spedizione EUR 62,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled 'Design for Dependable Systems' and re ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the rst few SDL Forums was the ITU-T Speci cation and Description Language de ned in Z.100, and the app- cation domain was almost entirely xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend.
-
SDL 2007: Design for Dependable Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540749837 ISBN 13: 9783540749837
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled ¿Design for Dependable Systems¿ and re ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the rst few SDL Forums was the ITU-T Speci cation and Description Language de ned in Z.100, and the app- cation domain was almost entirely xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend. 304 pp. Englisch.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, ... (Lecture Notes in Computer Science, 4229)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,69
Spedizione EUR 13,78
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods for Open Object-Based Distributed Systems | 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings | Elie Najm (u. a.) | Taschenbuch | viii | Englisch | 2003 | Springer | EAN 9783540204916 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. SDL 2007: Design for Dependable Systems | 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings | Emmanuel Gaudin (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540749837 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, ... (Lecture Notes in Computer Science, 4229)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 127,73
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 94,00
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Techniques for Networked and Distributed Systems - FORTE 2006 | 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings | Elie Najm (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540462194 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Lingua: Inglese
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540462198 ISBN 13: 9783540462194
EUR 112,94
Spedizione EUR 63,50
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 . (Lecture Notes in Computer Science (4229))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 162,26
Spedizione EUR 28,75
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
