Main Menu
Categories
Categories
Architecture
Arts & Photography
Biographies & Memoirs
Body, Mind & Spirit
Business & Economics
Children & Teens
Computer & Internet
Cookery, Food & Wine
Dictionaries & Language
English Language Teaching
Environment & Geography
Fiction
History & Humanities
Law
Lifestyle
Literature & literary studies
Medicine
Music
Parenting, Family & Health
Politics & Current events
References & Encyclopedias
Religion & Spirituality
Science & Mathematics
Self Help & Personal Development
Society & social sciences
Sports
Technology & Engineering
Travel & Holiday
Show All Categories
New Arrivals
Pre-order
Bestsellers
uRead Recommends
Types for Proofs and Programs
(Paperback)
By:
Stefano Berardi
(General editor)
,
Ferruccio Damiani
(General editor)
,
Ugo De Liguoro
(General editor)
| Publisher:
Springer
| Released: 14/07/2009
R
1,886
Available
Google Preview
Book Details
ISBN-13:
9783642024450
EAN:
9783642024450
Publisher Date:
14/07/2009
Dewey:
511.302
Language:
English
Series Title:
English
Width:
230.25 mm
ISBN-10:
3642024459
Publisher:
Springer
Binding:
Paperback
Height:
153.5 mm
No of Pages:
332
Spine Width:
17.25 mm
Related Categories
Science & Mathematics
>
Mathematics
>
Mathematical foundations
>
Set theory
Computer & Internet
>
Computer programming / software development
>
Software engineering
Computer & Internet
>
Computer science
>
Computer architecture & logic design
>
Assembly languages
Bestsellers
View More
32
%
R
1,270
R
862
Star Wars: Darth Vader - Dark Lord of the Sith Vol. 1
37
%
R
1,270
R
800
The Subtle Art of Not Giving A F*Ck: A Counterintuitive Approach to Living a Good Life
Mark Manson
21
%
R
350
R
276
Scion Of Ikshvaku
Amish
21
%
R
499
R
394
Sapiens
Yuval Noah Harari
21
%
R
499
R
394
Thinking, Fast and Slow
Daniel Kahneman
Recently Viewed
Types for Proofs and Programs
By: Stefano Berardi
R
1,886