Importo totale (1 articolo articoli):
Destinazione ordine:
formal methods foundations applications (206 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (206)
- 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 (185)
- Come nuovo, Ottimo o Quasi ottimo (18)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (206)
Ulteriori caratteristiche
- Prima ed. (4)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (80)
- Non Print on Demand (157)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642410707 ISBN 13: 9783642410703
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | 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 Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | 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 Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642104517 ISBN 13: 9783642104510
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 45,71
Scopri anche Brossura
-
Condizione: Sehr gut. Zustand: Sehr gut | 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 Methods: Foundations and Applications
Editore: Springer International Publishing, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Lingua: Inglese
EUR 39,61
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 49,31
Usato - A partire da EUR 66,43
Scopri anche Brossura
-
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Editore: Springer International Publishing AG, 2018
ISBN 10: 3030030431 ISBN 13: 9783030030438
Lingua: Inglese
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,11
Convertire valutaEUR 5,78 per la spedizione da Regno Unito a ItaliaQuantitą: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Ships from the UK. Former library book; may include library markings. 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 65,10
Usato - A partire da EUR 51,89
Scopri anche Brossura
-
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Editore: Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Lingua: Inglese
EUR 42,80
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 the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,31
Usato - A partire da EUR 139,74
Scopri anche Brossura
-
Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,58
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods: Foundations and Applications
Editore: Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031224752 ISBN 13: 9783031224751
Lingua: Inglese
EUR 52,76
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 62,46
Scopri anche Brossura Prima edizione
-
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Editore: Springer International Publishing, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
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 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 153,19
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,54
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 62,46
Scopri anche Brossura Prima edizione
-
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,54
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, . (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 5,26
Convertire valutaEUR 63,92 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. Except for library markings, interior clean and unmarked. Tight binding.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 69,18
Scopri anche Brossura
-
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ? December 1, 2017, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,91
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 74,31
Usato - A partire da EUR 82,54
Scopri anche Brossura
-
Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6æ10, 2021, Proceedings
Editore: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030921360 ISBN 13: 9783030921361
Lingua: Inglese
EUR 58,84
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 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
-
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 69,35
Convertire valutaEUR 7,67 per la spedizione da U.S.A. a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,46
Convertire valutaEUR 10,40 per la spedizione da Regno Unito a ItaliaQuantitą: Pił di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
