The Little Prover

Author: Daniel P. Friedman, Daniel P. Friedman, Carl Eastlund

paperback
Category: Mathematical Logic
Category: Computer Programming / Software Development
Category: PDA / Handheld Programming
Category: Web Programming
Category: Software Engineering
MIT Press Ltd
Fastbooks book price: 41.79 EUR
(price updated on 31.01.2026)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Books from category Software Engineering

More than books

Microsoft Access 2010 VBA Macro Programming Price: ~~41.96 EUR~~ 0.00 EUR Show book details	Object-Oriented & Classical Software Engineering Price: 76.62 EUR Show book details
Object-Oriented Software Engineering Price: 71.72 EUR Show book details	Software Engineering Price: 83.14 EUR Show book details
PeopleSoft Integration Tools Price: 46.33 EUR Show book details	Schaum's Outline of Theory and Problems of Software Engineering Price: 34.22 EUR Show book details
UML Demystified Price: ~~16.64 EUR~~ 0.00 EUR Show book details	Secrets of the Rockstar Programmers Price: 57.05 EUR Show book details
Nintendo Wii Flash Game Creator's Guide Price: ~~29.01 EUR~~ 28.77 EUR Show book details	Excel 2007 Macros Made Easy Price: 28.86 EUR Show book details
Android Price: 50.53 EUR Show book details	Software & Systems Requirements Engineering Price: ~~68.60 EUR~~ 65.53 EUR Show book details
Software Engineering Best Practices Price: 104.47 EUR Show book details	Oracle Fusion Developer Guide Price: 66.23 EUR Show book details
Six Sigma Software Quality Improvement Price: 99.65 EUR Show book details	Practical Software Project Estimation Price: 160.08 EUR Show book details
Practical Software Project Estimation: A Toolkit for Estimating Software Development Effort & Duration Price: ~~76.54 EUR~~ 0.00 EUR Show book details	Oracle Fusion Applications Development and Extensibility Handbook Price: 56.65 EUR Show book details
Quick Start Guide to Oracle Fusion Development Price: 34.24 EUR Show book details	Oracle Database 11G Price: 47.23 EUR Show book details