Formal Methods in Computer Science (Textbooks in Mathematics) - Hardcover

Buch 76 von 130: Textbooks in Mathematics

Wang, Jiacun; Tepfenhart, William

 
9780367225704: Formal Methods in Computer Science (Textbooks in Mathematics)
Hardcover
ISBN 10: 0367225700 ISBN 13: 9780367225704
Verlag: Chapman and Hall/CRC, 2019

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Ü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.

Verlag
Chapman and Hall/CRC
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
0367225700
ISBN 13 
9780367225704
Einband
Tapa dura
Auflage
1
Anzahl der Seiten
314
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781498775328: Formal Methods in Computer Science (Textbooks in Mathematics)

Vorgestellte Ausgabe

ISBN 10:  1498775322 ISBN 13:  9781498775328
Verlag: Routledge, 2019
Softcover