Verlag: Taylor & Francis Ltd (Sales) Jul 2019, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 117,83
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware - This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 241,79
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 308,68
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 294 pages. 9.25x6.25x0.75 inches. In Stock.