Formal Methods in Computer Science (PDF)
(Sprache: Englisch)
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
sofort als Download lieferbar
eBook (pdf)
Fr. 117.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods in Computer Science (PDF)“
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Autoren-Porträt von Jiacun Wang
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.
Bibliographische Angaben
- Autor: Jiacun Wang
- 2019, 350 Seiten, Englisch
- Verlag: Taylor & Francis
- ISBN-10: 1498775330
- ISBN-13: 9781498775335
- Erscheinungsdatum: 21.06.2019
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 9.25 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods in Computer Science"
0 Gebrauchte Artikel zu „Formal Methods in Computer Science“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Methods in Computer Science".
Kommentar verfassen