044 209 91 25 079 869 90 44
Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".
Formal Methods in Computer Science
ISBN/GTIN

Formal Methods in Computer Science

E-bookPDFE-book
Ranking52108inInformatik EDV
CHF125.75

Description

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

Details

Additional ISBN/GTIN9781498775335
Product TypeE-book
BindingE-book
FormatPDF
Publishing date21/06/2019
Pages350 pages
LanguageEnglish
File size9698 Kbytes
Article no.7256855
CatalogsVC
Data source no.2983587
Product groupInformatik EDV
More details

Author

Jiacun Wang received holds a PhD in computer engineering from Nanjing University of Science and Technology (NJUST), China. He is Professor of Software Engineering at Monmouth University. He was previously with Nortel Networks in Richardson, Texas. Prior to joining Nortel, he was a research associate of the School of Computer Science, Florida International University (FIU) at Miami. Prior to joining FIU, he was an associate professor at NJUST. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University for more than 10 years. Dr. Tepfenhart is Associate Professor of Computer Science and Computer Engineering at Monmouth University. His experience ranges across a broad spectrum of activities. He has performed in the role of instructor, researcher, software developer, and author. Trained as a physicist, his areas of expertise include object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems has formed the basis for major contributions in the area of software development. He has been active in the area of OOA/OOD for several large systems.