044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
Formal Methods in Computer Science
ISBN/GTIN

Formal Methods in Computer Science

E-BookPDFE-Book
Verkaufsrang52106inInformatik EDV
CHF125.75

Beschreibung

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

Details

Weitere ISBN/GTIN9781498775335
ProduktartE-Book
EinbandE-Book
FormatPDF
Erscheinungsdatum21.06.2019
Seiten350 Seiten
SpracheEnglisch
Dateigrösse9698 Kbytes
Artikel-Nr.7256855
KatalogVC
Datenquelle-Nr.2983587
WarengruppeInformatik EDV
Weitere Details

Über den/die AutorIn

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.