Logics of Specification Languages
by Dines Bjørner, Martin C. Henson
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
Publisher: | Springer |
Published In: | 07-Dec-2007 |
ISBN-10: | 3540741062 |
ISBN-13: | 9783540741060 |
Binding Type: | Hardback |
Weight: | 1350 gms |
Pages: | pp. 652, Illus. |
The Title "Logics of Specification Languages 1st Edition" is written by Dines Bjørner. This book was published in the year 2008. The ISBN number 3540741062|9783540741060 is assigned to the Hardback version of this title. This book has total of pp. xxii + 624 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Logics of Specification Languages 1st Edition is currently Available with us.