Low prices! Originals & Translations! Save your budget and time!
ONLINENORMS: Online Standards Store
Click View Shopping Cart
  1. Home
  2. CRC
  3. Formal Methods in Computer Science PDF

Formal Methods in Computer Science PDF

Formal Methods in Computer Science PDF

Name:
Formal Methods in Computer Science PDF

Published Date:
06/25/2019

Status:
[ Active ]

Description:

Publisher:
CRC Press Books

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Russian version):
200 business days
SKU:
Choose Document Language:
$59.4
Need Help?
ISBN: 9781498775335

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

Author: Jiacun Wang, William Tepfenhart


Edition : 1
Number of Pages : 313
Published : 06/25/2019
isbn : 9781498775335

History

Related products

Sustainability: A Way to Abundance
Sustainability: A Way to Abundance
Published Date: 03/01/2018
$23.1
Verilog HDL Design Examples
Verilog HDL Design Examples
Published Date: 10/16/2017
$56.1
Tolley's Domestic Gas Installation Practice
Tolley's Domestic Gas Installation Practice
Published Date: 07/10/2009
$19.2
Cut-and-Cover Metro Structures: Geo-Structural Design: An Integrated Approach
Cut-and-Cover Metro Structures: Geo-Structural Design: An Integrated Approach
Published Date: 04/08/2010
$84.3

Best-Selling Products

IP 1/1994
IP 1/1994
Published Date: 01/01/1994
Methods of test for Petroleum and its products Part 1. Determination of acidity, neutralization value - Colour indicator titration method
$47.1
IP 1/74
IP 1/74
Published Date: 01/01/1974
Acidity of Petroleum Products and Lubricants (Neutralization Value)
$27.6
IP 10/2011
IP 10/2011
Published Date: 07/31/2011
Methods of test for petroleum and its products Part 10: Determination of kerosine burning characteristics 24-hour method
$55.8
IP 10/65
IP 10/65
Published Date: 01/01/1965
Determination of kerosine burning characteristics - 24 hour method
IP 10/65
IP 10/65
Published Date: 01/01/1965
Burning test (24-hour) for kerosine
IP 10/94
IP 10/94
Published Date: 01/01/1994
Methods of test for Petroleum and its products Part 10. Determination of kerosine burning characteristics - 24 hour method