Da: Antiquariat Bookfarm, Löbnitz, Germania
2015. 192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Größe: 15.5 x 1.1 x 23.5 cm.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,31
Usato - A partire da EUR 34,12
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 240 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,58
Usato - A partire da EUR 36,37
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642410707 ISBN 13: 9783642410703
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,58
Usato - A partire da EUR 36,37
Scopri anche Brossura
Editore: Springer Berlin Heidelberg, 2009
ISBN 10: 3642104517 ISBN 13: 9783642104510
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 364 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,07
Usato - A partire da EUR 39,13
Scopri anche Brossura
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 205 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 58,44
Usato - A partire da EUR 41,55
Scopri anche Brossura
Editore: Springer International Publishing, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,80
Convertire valutaQuantità: 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,63
Scopri anche Brossura
Editore: Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031224752 ISBN 13: 9783031224751
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 52,76
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 55,74
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer International Publishing, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 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 152,18
Scopri anche Brossura
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
EUR 5,40
Convertire valutaQuantità: 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 71,04
Scopri anche Brossura
Editore: Springer International Publishing, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 61,55
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030921360 ISBN 13: 9783030921361
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 58,84
Convertire valutaQuantità: 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.
Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031781155 ISBN 13: 9783031781155
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 62,05
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems;Formal Semantics and Verification of UML Models;Formal Verification and Proof Techniques in Algorithms and Logics; andFormal Methods for Security and Privacy.
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030030431 ISBN 13: 9783030030438
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 62,05
Convertire valutaQuantità: 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 65,10
Usato - A partire da EUR 89,57
Scopri anche Brossura
Editore: Springer International Publishing, 2020
ISBN 10: 3030638812 ISBN 13: 9783030638818
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 69,54
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.