Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 196,93
Anzahl: 1 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 230,98
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 300.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 244,65
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 283 pages. 10.00x7.00x0.50 inches. In Stock.
Gebunden. Zustand: New. Luigia Petre, Emil SekerinskiFormal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our.
Sprache: Englisch
Verlag: Taylor & Francis Inc Apr 2016, 2016
ISBN 10: 1498701582 ISBN 13: 9781498701587
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - This book addresses the impact of the 'Action Systems' formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a mature engineering discipline.