Formal Methods in Computer Science - Couverture souple

Wang, Jiacun

 
9781498775328: Formal Methods in Computer Science
Couverture souple
ISBN 10 : 1498775322 ISBN 13 : 9781498775328
Editeur : Routledge, 2019

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Routledge
Date d'édition
2019
Langue
anglais
ISBN 10 
1498775322
ISBN 13 
9781498775328
Reliure
Broché
Nombre de pages
312
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780367225704: Formal Methods in Computer Science

Edition présentée

ISBN 10 :  0367225700 ISBN 13 :  9780367225704
Editeur : Chapman & Hall/CRC, 2019
Couverture rigide