|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: M. Nivat (LITP, Université Paris VII, France) , A. Podelski (DIGITAL, Paris Research Laboratory, Centre de Recherche de Paris, Rueil-Malmaison, France)Publisher: Elsevier Science & Technology Imprint: North-Holland Volume: v.10 Dimensions: Width: 15.60cm , Height: 2.80cm , Length: 23.40cm Weight: 0.830kg ISBN: 9780444890269ISBN 10: 0444890262 Pages: 496 Publication Date: 31 July 1992 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Out of Print Availability: In Print ![]() Limited stock is available. It will be ordered for you and shipped pending supplier's limited stock. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |