Formal techniques distributed systems (372 résultats)

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Suzuki, Kenji [Editor]; Higashino, Teruo [Editor]; Yasumoto, Keiichi [Editor]; El-Fakih, Khaled [Editor];

Etat: Occasion - Assez bon

EUR 7,25

EUR 6,34 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 . / Programming and Software Engineering)

Langue : anglais

Edité par Springer, 2008

3540688544 / 9783540688549

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 25,97

EUR 6,34 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004 (LNCS 3235)

Langue : anglais

Edité par Springer, 2004

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

3540688544 / 9783540688549

Etat: Neuf

EUR 48,87

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008 : 28TH IFIP WG 6.1 INTERNATIONAL CONFERENCE TOKYO, JAPAN, JUNE 10-13, 2008 PROCEEDINGS

Langue : anglais

Edité par Springer, 2008

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

331992611X / 9783319926117

Etat: Neuf

EUR 51,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

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

Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Baier, Christel (EDT)

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Beyer, Dirk (EDT); Boreale, Michele (EDT)

Etat: Neuf

EUR 52,23

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Langue : anglais

Edité par Springer, 2013

3642385915 / 9783642385919

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Lee, David (EDT); Lopes, Antonia (EDT); Poetzsch-heffter, Arnd (EDT)

Etat: Neuf

EUR 53,56

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Giese, Holger (EDT); Rosu, Grigore (EDT)

Etat: Neuf

EUR 58,59

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems : Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, Forte 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Langue : anglais

Edité par Springer, 2012

3642307922 / 9783642307928

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,59

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems: Joint 11th Ifip Wg 6.1 International Conference Fmoods 2009 and 29th Ifip Wg 6.1 International Conference F (Paperback or Softback)

Lee, David

Langue : anglais

Edité par Springer 5/25/2009, 2009

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

3642307922 / 9783642307928

Etat: Neuf

EUR 61,06

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Techniques for Distributed Systems: Joint 11th Ifip Wg 6.1 International Conference Fmoods 2009 and 29th Ifip Wg 6.1 International Conference F. Book.

Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, (Paperback or Softback)

Giese, Holger

Langue : anglais

Edité par Springer 5/31/2012, 2012

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

147578824X / 9781475788242

Etat: Neuf

EUR 61,06

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference. Book.

Formal Techniques for Networked and Distributed Systems : FORTE 2001

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

147578824X / 9781475788242

Etat: Neuf

EUR 59,77

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Networked and Distributed Systems : FORTE 2001

Langue : anglais

Edité par Springer, 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Lee, David, Antonia Lopes and Arnd Poetzsch-Heffter:

Etat: Occasion - Comme neuf

EUR 60,51

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagnebooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

Vendeur avec une évaluation de 5 étoiles

331992611X / 9783319926117

Etat: Occasion - Assez bon

EUR 44,95

EUR 15,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Broschiert. Etat : Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415.

Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Baier, Christel (EDT)

Langue : anglais

Edité par Springer, 2018

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Frutos-Escrig, David de; Nunez, Manuel; FORTE 2004 (2004 Toledo, Spain)

Etat: Occasion - Comme neuf

EUR 61,72

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques For Networked And Distributed Systems - Forte 2004 : 24th Ifip Wg 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Peters, Kirstin (EDT); Willemse, Tim A. C. (EDT)

Etat: Occasion - Comme neuf

EUR 62,61

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings

Langue : anglais

Edité par Springer, 2021

3030780880 / 9783030780883

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Albert, Elvira (EDT); Lanese, Ivan (EDT)

Etat: Neuf

EUR 63,88

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems : 36th Ifip Wg 6.1 International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

3319395696 / 9783319395692

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3319395696 / 9783319395692

Etat: Neuf

EUR 63,88

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Lecture Notes in Computer Science, 9688)

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 63,55

EUR 2,72 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... (Lecture Notes in Computer Science, 5522)

Langue : anglais

Edité par Springer, 2009

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3642307922 / 9783642307928

Etat: Neuf

EUR 63,55

EUR 2,72 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 7273)

Langue : anglais

Edité par Springer, 2012

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3030780880 / 9783030780883

Etat: Neuf

EUR 63,55

EUR 2,72 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... (Lecture Notes in Computer Science, 12719)

Langue : anglais

Edité par Springer, 2021

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3319191942 / 9783319191942

Etat: Neuf

EUR 63,55

EUR 2,72 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th ... (Lecture Notes in Computer Science, 9039)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Bouajjani, Ahmed (EDT); Silva, Alexandra (EDT)

Etat: Neuf

EUR 63,55

EUR 2,72 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 - Proceedings

Langue : anglais

Edité par Springer, 2017

3319602241 / 9783319602240

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Ábrahám, Erika (EDT); Palamidessi, Catuscia (EDT)

Etat: Neuf

EUR 64,34

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Langue : anglais

Edité par Springer, 2014

3662436124 / 9783662436127

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Bouajjani, Ahmed (EDT); Silva, Alexandra (EDT)

Etat: Neuf

EUR 64,41

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 - Proceedings

Langue : anglais

Edité par Springer, 2017

3319602241 / 9783319602240

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Derrick, John (EDT); Vain, J?ri (EDT)

Etat: Occasion - Comme neuf

EUR 64,73

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques for Networked and Distributed Systems - Forte 2007 : 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Langue : anglais

Edité par Springer, 2007

3540731954 / 9783540731955

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Konig, Hartmut (EDT); Heiner, Monika; Wolisz, Adam (EDT)

Etat: Occasion - Comme neuf

EUR 65,15

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques for Networked and Distributed Systems, Forte 2003 : 23rd Ifip Wg 6.1 International Conference, Berlin, Germany, September 29- October 2, 2003 Procedings

Langue : anglais

Edité par Springer, 2003

3540201750 / 9783540201755

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Frutos-Escrig, David de; Nunez, Manuel; FORTE 2004 (2004 Toledo, Spain)

Etat: Occasion - Comme neuf

EUR 65,62

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Techniques For Networked And Distributed Systems - Forte 2004 : 24th Ifip Wg 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Langue : anglais

Edité par Springer, 2004

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Peled, Doron A. (EDT); Vardi, Moshe Y. (EDT)

Etat: Neuf

EUR 66,34

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings

Langue : anglais

Edité par Springer, 2002

3540001417 / 9783540001416

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Suzuki, Kenji (EDT); Higashino, Teruo (EDT); Yasumoto, Keiichi (EDT); El-fakih, Khaled (EDT)

Etat: Neuf

EUR 66,34

EUR 2,40 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Techniques for Networked and Distributed Systems- FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Langue : anglais

Edité par Springer, 2008

3540688544 / 9783540688549

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles