Importo totale (1 articolo articoli):
Destinazione ordine:
formal aspects component software (202 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (202)
- 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
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (202)
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (90)
- Non Print on Demand (154)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642358608 ISBN 13: 9783642358609
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,58
Usato - A partire da EUR 42,64
Scopri anche Brossura
-
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23â"25, 2019, Proceedings (Lecture Notes in Computer Science, 12018)
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 33,34
Convertire valutaEUR 15,07 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good. Crease on cover*.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 48,41
Scopri anche Brossura
-
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 305 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 48,40
Scopri anche Brossura
-
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (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: 2012. 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,5 x 15,5 x 2,2 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
-
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 252 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 70,35
Usato - A partire da EUR 50,39
Scopri anche Brossura Prima edizione
-
Formal Aspects of Component Software
Editore: Springer International Publishing, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 163,71
Scopri anche Brossura
-
Formal Aspects of Component Software
Editore: Springer International Publishing, 2017
ISBN 10: 3319576658 ISBN 13: 9783319576657
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.
-
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28¿29, 2021, Proceedings
Editore: Springer International Publishing, 2021
ISBN 10: 3030906353 ISBN 13: 9783030906351
Lingua: Inglese
EUR 48,14
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.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 53,68
Usato - A partire da EUR 73,94
Scopri anche Brossura
-
Formal Aspects of Component Software : 20th International Conference, FACS 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031712609 ISBN 13: 9783031712609
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 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
-
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Editore: Springer International Publishing, 2014
ISBN 10: 3319076019 ISBN 13: 9783319076010
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 revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 128,33
Scopri anche Brossura
-
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10¿12, 2018, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030021459 ISBN 13: 9783030021450
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 from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 81,06
Scopri anche Brossura
-
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319680331 ISBN 13: 9783319680330
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 thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 81,06
Scopri anche Brossura
-
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Editore: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319153161 ISBN 13: 9783319153162
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 revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 138,34
Scopri anche Brossura
-
Formal Aspects of Component Software
Editore: Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031208714 ISBN 13: 9783031208713
Lingua: Inglese
EUR 61,55
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
