C++ Toolbox for Verified Computing I

C++ Toolbox for Verified Computing I

EnglishPaperback / softbackPrint on demand
Hammer Rolf
Springer, Berlin
EAN: 9783642796531
Print on demand
Delivery on Friday, 28. of August 2026
CZK 2,586
Common price CZK 2,873
Discount 10%
pc
Do you want this product today?
Megabooks Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Megabooks Ostrava
not available
Megabooks Olomouc
not available
Megabooks Plzeň
not available
Megabooks Brno
not available
Megabooks Hradec Králové
not available
Megabooks České Budějovice
not available
Megabooks Liberec
not available
EAN 9783642796531
ISBN 3642796532
Binding Paperback / softback
Publisher Springer, Berlin
Publication date December 14, 2011
Pages 382
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Authors Hammer Rolf; Hocks Matthias; Kulisch, Ulrich; Ratz Dietmar
Illustrations XVIII, 382 p.
Edition Softcover reprint of the original 1st ed. 1995
Manufacturer information
The manufacturer's contact information can be found here.