Name: Formal Methods in Computer Science
Price: 247.00 EUR
Availability: InStock
Author: Jiacun Wang
ISBN: 9780367225704

Formal Methods in Computer Science von Jiacun Wang

Sie sparen 0% des UVP sparen 0%

Gebundene Ausgabe
Versandfertig in 3-4 Wochen
247,00 €

Über Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Sprache:
Englisch

ISBN:
9780367225704

Verlag:
Taylor & Francis Ltd

Einband:
Gebundene Ausgabe

Seitenzahl:
294

Veröffentlicht:
25. Juni 2019

Abmessungen:
156x234x0 mm.

Gewicht:
566 g.

247,00 € inkl. MwSt.
~~247,00 €~~ UVP

Versandkostenfrei

Versandfertig in 3-4 Wochen.

Über Jiacun Wang

Alle Bücher von Jiacun Wang anzeigen

Beschreibung von Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Kund*innenbewertungen von Formal Methods in Computer Science

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Formal Methods in Computer Science ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Formal Methods in Computer Science

Über Jiacun Wang

Beschreibung von Formal Methods in Computer Science

Kund*innenbewertungen von Formal Methods in Computer Science

Willkommen bei den Tales Buchfreunden und -freundinnen