Formal Methods in Computer Science

Jiacun Wang · William Tepfenhart

Jun 2019 · CRC Press

Kitabu pepe

350

Kurasa

Kimetimiza masharti

Ukadiriaji na maoni hayajahakikishwa Pata Maelezo Zaidi

Kuhusu kitabu pepe hiki

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

Kuhusu mwandishi

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.

Kadiria kitabu pepe hiki

Tupe maoni yako.

Kusoma maelezo

Simu mahiri na kompyuta vibao

Sakinisha programu ya Vitabu vya Google Play kwa ajili ya Android na iPad au iPhone. Itasawazishwa kiotomatiki kwenye akaunti yako na kukuruhusu usome vitabu mtandaoni au nje ya mtandao popote ulipo.

Kompyuta za kupakata na kompyuta

Unaweza kusikiliza vitabu vilivyonunuliwa kwenye Google Play wakati unatumia kivinjari cha kompyuta yako.

Visomaji pepe na vifaa vingine

Ili usome kwenye vifaa vya wino pepe kama vile visomaji vya vitabu pepe vya Kobo, utahitaji kupakua faili kisha ulihamishie kwenye kifaa chako. Fuatilia maagizo ya kina ya Kituo cha Usaidizi ili uhamishe faili kwenye visomaji vya vitabu pepe vinavyotumika.

Ripoti maudhui yanayokiuka sera