Symbolic Model Checking - Kenneth L. McMillan - Books - Springer-Verlag New York Inc. - 9781461363996 - October 23, 2012
In case cover and title do not match, the title is correct

Kenneth L. McMillan
Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition

Price
HK$ 439
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 16 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.

194 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 23, 2012
ISBN13 9781461363996
Publishers Springer-Verlag New York Inc.
Pages 194
Dimensions 233 × 155 × 17 mm   ·   308 g
Language English  

Mere med samme udgiver

See all of Kenneth L. McMillan ( e.g. Paperback Book )