Book annotation not available for this title. Title: Verification, Model Checking, and Abstract Interpretation Author: Jones, Neil D. (EDT)/ Muller-Olm, Markus (EDT) Publisher: Springer Verlag Publication Date: 2009/01/01 Number of Pages: 380 Binding Type: PAPERBACK Library of Congress: Additional Details \N BINDING : PAPERBACK BRAND : JONES, NEIL D. (EDT)/ MULLER-OLM LANGUAGE : ENG PUBLISHER : SPRINGER VERLAG SKU : 9783540938996 UPC : 9783540938996
|