Verwandte Artikel zu Mechanizing Proof: Computing, Risk, and Trust (Inside...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Book by Mackenzie Donald
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas:
"A most readable account of how program verification came to promise so much and deliver so little." - Richard Clayton, The Times Higher Education Supplement"
Reseña del editor:
This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagMIT Press
- Erscheinungsdatum2004
- ISBN 10 0262632950
- ISBN 13 9780262632959
- EinbandTapa blanda
- Anzahl der Seiten440
- Bewertung
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Verlag:
The MIT Press
(2004)
ISBN 10: 0262632950
ISBN 13: 9780262632959
Gebraucht
Softcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M00262632950-G
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 19,18
Währung umrechnen