Formal techniques distributed systems (349 risultati)

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

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

Condizione: Usato - Molto buono

EUR 7,11

EUR 6,22 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer, 2008

3540688544 / 9783540688549

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 25,47

EUR 6,22 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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)

David de Frutos-Escrig

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

331992611X / 9783319926117

Condizione: Nuovo

EUR 46,84

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

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

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 52,27

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2013

3642385915 / 9783642385919

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 53,61

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 57,47

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2012

3642307922 / 9783642307928

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,47

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer 5/25/2009, 2009

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

3642307922 / 9783642307928

Condizione: Nuovo

EUR 59,90

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: 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

Lingua: Inglese

Editore: Springer 5/31/2012, 2012

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

147578824X / 9781475788242

Condizione: Nuovo

EUR 59,90

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: 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

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 58,64

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

Venditore con 5 stelle

331992611X / 9783319926117

Condizione: Usato - Molto buono

EUR 44,95

EUR 15,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Broschiert. Condizione: 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)

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

147578824X / 9781475788242

Condizione: Usato - Come nuovo

EUR 60,55

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Techniques for Networked and Distributed Systems : FORTE 2001

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 60,56

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 61,42

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2021

3030780880 / 9783030780883

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 62,66

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2016

3319395696 / 9783319395692

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

3319395696 / 9783319395692

Condizione: Nuovo

EUR 62,66

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,34

EUR 2,67 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

3642307922 / 9783642307928

Condizione: Nuovo

EUR 62,34

EUR 2,67 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2012

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

3030780880 / 9783030780883

Condizione: Nuovo

EUR 62,34

EUR 2,67 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2021

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

3319191942 / 9783319191942

Condizione: Nuovo

EUR 62,34

EUR 2,67 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 62,34

EUR 2,67 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2017

3319602241 / 9783319602240

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 63,50

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

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

Lingua: Inglese

Editore: Springer, 2007

3540731954 / 9783540731955

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 63,91

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 2017

3319602241 / 9783319602240

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 64,20

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2003

3540201750 / 9783540201755

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 64,37

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 2014

3662436124 / 9783662436127

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

3642214606 / 9783642214608

Condizione: Nuovo

EUR 64,50

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Techniques for Distributed Systems (Paperback)

Roberto Bruni

Lingua: Inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011

Brossura

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 67,57

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms. This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

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

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 66,08

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

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

Lingua: Inglese

Editore: Springer, 2002

3540001417 / 9783540001416

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 66,21

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2008

3540688544 / 9783540688549

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle