Menu
Types for Proofs and Programs : International Workshop Types ’96, Aussois, Fr…

Types for Proofs and Programs : International Workshop Types ’96, Aussois, Fr…

USD 99.80 USD
SKU: KWFYDBtl
GTIN: 9783540651376
Condition: Like New
Tags: 1512 Pages 1998 42.3 Oz 6.1 in 9.3 in 9783540651376 Eduardo Ginerey English Mathematics, Computers Textbook Trade Paperback VIII, 380 Pages
Categories: Textbooks, Education & Reference

Specifications

ISBN9783540651376
Subject AreaMathematics, Computers
Item Length9.3 in
Publication Year1998
TypeTextbook
FormatTrade Paperback
LanguageEnglish
AuthorEduardo Ginerey
Item Weight42.3 Oz
Item Width6.1 in
Number Of PagesVIII, 380 Pages

What stands out about this textbook is the attention to diverse cultural examples.

Related Items

Organizational Theory Design – VERY GOOD
Organizational Theory Design – VERY GOOD
 2024/2025 ASVAB for Dummies: Book + 7 Practice Tests
2024/2025 ASVAB for Dummies: Book + 7 Practice Tests
 STORYBOOK # 12 SECOND EDITION SING SPELL READ AND WRITE Modern Cu
STORYBOOK # 12 SECOND EDITION SING SPELL READ AND WRITE Modern Cu
 Exploring Creation with Zoology 3: Land Animals of the Sixth Day Textbook 2nd Ed
Exploring Creation with Zoology 3: Land Animals of the Sixth Day Textbook 2nd Ed
 Interior Design Reference Manual: A Guide to the NCIDQ Exam
Interior Design Reference Manual: A Guide to the NCIDQ Exam
 Studies in Contract Law Ninth Edition Hardcover by Ian Ayres & Gregory Klass
Studies in Contract Law Ninth Edition Hardcover by Ian Ayres & Gregory Klass
 iPad for Seniors in easy steps – paperback Vandome, Nick
iPad for Seniors in easy steps – paperback Vandome, Nick
 Rarefied Gas Dynamics: From Basic Concepts to Actual Calculations by Cercignani
Rarefied Gas Dynamics: From Basic Concepts to Actual Calculations by Cercignani