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

BookHardcover
Ranking52106inInformatik EDV
CHF229.00

Description

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

Details

ISBN/GTIN978-0-367-22570-4
Product TypeBook
BindingHardcover
Publishing date25/06/2019
Edition1. A.
SeriesTextbooks in Mathematics
Pages294 pages
LanguageEnglish
SizeWidth 156 mm, Height 234 mm
Weight566 g
IllustrationsFarb., s/w. Abb.
Article no.38767275
CatalogsBuchzentrum
Data source no.29672215
Product groupInformatik EDV
More details

Series

Author

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.