Certified Programs and Proofs

Certified Programs and Proofs

EnglishPaperback / softback
Springer, Berlin
EAN: 9783642253782
On order
Delivery on Tuesday, 14. of July 2026
€57.83
Common price €64.25
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9783642253782
ISBN 3642253784
Binding Paperback / softback
Publisher Springer, Berlin
Publication date November 18, 2011
Pages 401
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Illustrations XV, 401 p. 87 illus.
Editors Jouannaud Jean-Pierre; Shao Zhong
Edition 2011 ed.
Series Theoretical Computer Science and General Issues
Manufacturer information
The manufacturer's contact information can be found here.