Formal Methods in Computer Science (Textbooks in Mathematics)

Wang, Jiacun

ISBN 10: 0367225700 ISBN 13: 9780367225704

Verlag: Chapman and Hall/CRC, 2019

Neu Hardcover

Verk�ufer Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 25. M�rz 2015

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

In. Bestandsnummer des Verk�ufers ria9780367225704_new

Diesen Artikel melden

Inhaltsangabe:

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

�ber die Autorin bzw. den Autor:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Formal Methods in Computer Science (...
Verlag: Chapman and Hall/CRC
Erscheinungsdatum: 2019
Einband: Hardcover
Zustand: New