Formal Methods in Computer Science - Couverture rigide

Wang, Jiacun; Tepfenhart, William

Couverture rigide

ISBN 10 : 0367225700 ISBN 13 : 9780367225704

Editeur : Chapman & Hall/CRC, 2019

Synopsis

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

A propos du livre

À propos de l?auteur

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.

Détails de l'édition

• Éditeur: Chapman & Hall/CRC
• Date d'édition: 2019
• Langue: anglais
• ISBN 10: 0367225700
• ISBN 13: 9780367225704
• Reliure: Relié
• Nombre de pages: 294
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible