Jiacun Wang
Broschiertes Buch
Formal Methods in Computer Science
Versandkostenfrei!
Versandfertig in 1-2 Wochen
Weitere Ausgaben:
PAYBACK Punkte
54 °P sammeln!
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004. William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.
Produktbeschreibung
- Verlag: Chapman and Hall/CRC
- Seitenzahl: 314
- Erscheinungstermin: 3. Juli 2019
- Englisch
- Abmessung: 234mm x 156mm x 17mm
- Gewicht: 480g
- ISBN-13: 9781498775328
- ISBN-10: 1498775322
- Artikelnr.: 57109983
Herstellerkennzeichnung
Libri GmbH
Europaallee 1
36244 Bad Hersfeld
gpsr@libri.de
Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst!
Eine Bewertung schreiben
Eine Bewertung schreiben
Andere Kunden interessierten sich für