Formal methods open object based (181 résultats)

Elie Najm, Uwe Nestmann et Perdita Stevens

Etat: Occasion - Très bon

EUR 3,59

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : 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. Amma…

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003

Couverture souple

Vendeur : Ammareal, Morangis, FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

3540688625 / 9783540688624

Etat: Occasion - Très bon

EUR 5,55

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Softcover. Etat : 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: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 20

Gilles Barthe

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008

Couverture souple

Vendeur : Ammareal, Morangis, FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Très bon

EUR 5,55

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.

Formal Methods For Open Object-based Distributed Systems : 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings (lecture Notes In Computer Science)

0

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 49,06

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based D

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Jacobs, Bart [Editor]; Rensink, Arend [Editor]

Etat: Neuf

EUR 56,41

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)

Langue : anglais

Edité par Springer, 2002

0792376838 / 9780792376835

Couverture rigide
Édition originale

Vendeur : Prior Books Ltd, Cheltenham, Royaume-UniPrior Books Ltd

Vendeur avec une évaluation de 5 étoiles

Membre d’une association professionnelle : ABA, PBFA, ILAB

Etat: Occasion - Comme neuf

EUR 32,63

EUR 25,81 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Like New. First Edition. Publisher's hardback in nearly new condition: firm and square, strong joints, sharp corners, no bumps. Contents crisp, tight and clean; no pen-marks, save a previous owner's name at the endpaper. Not from a library so no such stamps or labels. Looks unread. Thus a tidy book in very pres…

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,67

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based D

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 57,93

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Steffen, Martin (EDT); Zavattaro, Gianluigi (EDT)

Etat: Occasion - Comme neuf

EUR 58,88

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Gorrieri, Roberto (EDT); Wehrheim, Heike (EDT)

Etat: Occasion - Comme neuf

EUR 60,06

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Open Object-Based Distributed Systems : 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)

Etat: Occasion - Comme neuf

EUR 60,06

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 62,82

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... March 20-22, 2002, Enschede, The Netherlands

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,21

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

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

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,21

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based D

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,19

EUR 17,60 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

3540688625 / 9783540688624

Etat: Neuf

EUR 55,19

EUR 17,60 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science, 5051)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,39

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,39

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

3540729194 / 9783540729198

Etat: Neuf

EUR 61,39

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468)

Langue : anglais

Edité par Springer, 2007

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,39

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,39

EUR 14,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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,

Najm, Elie

Langue : anglais

Edité par Springer 2003-11, 2003

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 57,73

EUR 18,18 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Pr

Steffen, Martin

Langue : anglais

Edité par Springer 2005-06, 2005

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Marcello M. Bonsangue, Einar Broch Johnsen

Etat: Neuf

EUR 57,78

EUR 18,18 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer Berlin Heidelberg 2008-10-10, 2008

3540729194 / 9783540729198

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Roberto Gorrieri,Heike Wehrheim

Etat: Neuf

EUR 57,68

EUR 18,18 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Paperback. Etat : New.

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings: 4037 (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2008-06-13, 2008

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

3540688625 / 9783540688624

Etat: Neuf

EUR 57,72

EUR 18,18 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Paperback. Etat : New.

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science)

Gilles Barthe

Langue : anglais

Edité par Springer 2008-07-07, 2008

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Gorrieri, Roberto (EDT); Wehrheim, Heike (EDT)

Etat: Neuf

EUR 57,73

EUR 18,18 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Paperback. Etat : New.

Formal Methods for Open Object-Based Distributed Systems : 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Langue : anglais

Edité par Springer, 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Najm, Elie; Stevens, Perdita (EDT); Nestmann, Uwe; INTERNATIONAL CONFERENCE ON FORMAL METHO (DST)

Etat: Neuf

EUR 75,62

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Steffen, Martin (EDT); Zavattaro, Gianluigi (EDT)

Etat: Neuf

EUR 75,62

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Langue : anglais

Edité par Springer, 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 75,70

EUR 2,32 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles