Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,64
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer International Publishing AG, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 58,93
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 86,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
EUR 52,91
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 67,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 98,77
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 316 pages. 9.25x6.10x0.72 inches. In Stock.
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2017, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 69,54
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th BrazilianSymposium on Formal Methods, SBMF 2017, which took place in Recifel,Brazil, in November/December 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 69,54
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Verlag: Springer Nature Switzerland, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
EUR 63,75
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings | José Fiadeiro (u. a.) | Taschenbuch | x | Englisch | 2017 | Springer Nature Switzerland | EAN 9783319708478 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.