0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Not currently available

Automated Technology for Verification and Analysis (Paperback)
Automated Technology for Verification and Analysis (Paperback): Farn Wang

Automated Technology for Verification and Analysis (Paperback)

Farn Wang

 (sign in to rate)

Bookmark and Share

We don't currently have any sources for this product. If you add this item to your wish list we will let you know when it becomes available.

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.

General

Imprint: Springer
Country of origin: United States
Release date: 2014
Authors: Farn Wang
Dimensions: 234 x 156 x 27mm (L x W x T)
Format: Paperback - Trade
Pages: 524
ISBN-13: 978-3-662-19124-8
Categories: Books > Computing & IT > General theory of computing
Books > Computing & IT > Computer hardware & operating systems
Books > Computing & IT > Computer programming
Books > Computing & IT > Internet
Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
Books > Computing & IT > Computer programming > Programming languages
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Computer programming > Programming languages > General
LSN: 3-662-19124-5
Barcode: 9783662191248

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners