Importo totale (1 articolo articoli):
Destinazione ordine:
formal techniques distributed systems (385 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (385)
- 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 (319)
- Come nuovo, Ottimo o Quasi ottimo (45)
- Molto buono o Buono (16)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (5)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (141)
- Non Print on Demand (302)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2017. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 64,49
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International C
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Lingua: Inglese
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 73,78
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10: 3540462198 ISBN 13: 9783540462194
Lingua: Inglese
Softcover. 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 110,28
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2015. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2015. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011
ISBN 10: 3642214606 ISBN 13: 9783642214608
Lingua: Inglese
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2011. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2011. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 200
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008
ISBN 10: 3540688544 ISBN 13: 9783540688549
Lingua: Inglese
Softcover. Condizione: 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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 28,43
Usato - A partire da EUR 10,70
Scopri anche Brossura
-
Using Formal Description Techniques: An Introduction to Estell, LOTOS and SDL (Wiley Series in Communication and Distributed Systems)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 6,80
Convertire valutaEUR 8,65 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. 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 Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain September 2004 Proceedings
Editore: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540232524 ISBN 13: 9783540232520
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 11,21
Convertire valutaEUR 18,88 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 2004th Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 38,84
Usato - A partire da EUR 30,09
Scopri anche Brossura
-
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 28,60
Convertire valutaEUR 6,66 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.04.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 35,26
Scopri anche Brossura
-
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th . (Lecture Notes in Computer Science, 11535)
Da: Gardner's Used Books, Inc., Tulsa, OK, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 8,73
Convertire valutaEUR 27,27 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. Good condition. Pages are clean and unmarked. Little to no edgewear. Tulsa's largest used bookstore. Located on South Mingo Road since 1991. No-hassle return policy if not completely satisfied.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 70,38
Usato - A partire da EUR 36,00
Scopri anche Brossura
-
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
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642307922 ISBN 13: 9783642307928
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 47,41
Scopri anche Brossura
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 40,43
Convertire valutaEUR 9,00 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Auflage: 2007. 392 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 16,5 x 2,0 cm, Taschenbuch.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 49,43
Scopri anche Brossura
-
Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 44,95
Convertire valutaEUR 7,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 52,90
Scopri anche Brossura
-
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13¿17, 2022, P
Editore: Springer International Publishing, 2022
ISBN 10: 3031086783 ISBN 13: 9783031086786
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 79,56
Usato - A partire da EUR 53,99
Scopri anche Brossura Prima edizione
-
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19¿23, 202
Editore: Springer Nature Switzerland, 2023
ISBN 10: 3031353544 ISBN 13: 9783031353543
Lingua: Inglese
Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 75,64
Usato - A partire da EUR 57,27
Scopri anche Brossura
-
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 80,95
Scopri anche Brossura
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 88,46
Scopri anche Brossura
-
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th ... DisCoTec 2023, Lisbon, Portugal, J
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,51
Convertire valutaEUR 10,39 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Techniques for Networked and Distributed Systems: FORTE 2001
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,29
Convertire valutaEUR 10,39 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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
Editore: Springer International Publishing, 2021
ISBN 10: 3030780880 ISBN 13: 9783030780883
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.Due to the Corona pandemic this event was held virtually.
-
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
Editore: Springer Berlin Heidelberg, 2014
ISBN 10: 3662436124 ISBN 13: 9783662436127
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 133,94
Scopri anche Brossura
-
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 62,18
Convertire valutaEUR 10,39 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 69,34
Convertire valutaEUR 7,67 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, . / Programming and Software Engineering)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 12,00
Convertire valutaEUR 63,91 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 121,61
Usato - A partire da EUR 75,91
Scopri anche Brossura
-
Formal Techniques for Distributed Objects, Components, and Systems (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,85
Convertire valutaEUR 10,39 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Techniques for Distributed Objects, Components, and Systems: 11th International Symposium, Isbra 2015 Norfolk, USA, June 7-10, 2015 Proceedings
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319190474 ISBN 13: 9783319190471
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,44
Convertire valutaEUR 11,55 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2015 edition. 451 pages. 9.25x6.25x1.25 inches. In Stock.
-
Formal Techniques For Networked And Distributed Systems
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 131,96
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 131,96
Usato - A partire da EUR 228,84
Scopri anche Rilegato
-
EUR 191,65
Convertire valutaEUR 25,55 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
