Placeholder text

Formal Methods in Computer Science

Formal Methods in Computer Science Computer Science

Formal Methods in Computer Science

0 - Default Title
Description
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
314
Release Date:
2019-07-02
Publication Date:
2019-07-03
Publisher:
Chapman and Hall/CRC
Languages:
Original: English
ISBN10:
1498775322
ISBN13:
9781498775328
GPSR Manufacturer Reference:
Weight:
480 g
Height:
156 cm
Width:
234 cm
Thickness:
17 cm
Currently sold out