Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Research Reports Esprit Ser.: Programming and Proof System : Advanced Techniques Integration into Efficient Scientific Software by A. Puccetti (1991, Trade Paperback)
iHaveit (92225)
99.3% positive Feedback
Price:
£122.07
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
The Title is The Programming and Proof System ATES : Advanced Techniques Integration into Efficient Scientific Software. COMPUTERS / Logic Design. Category - COMPUTERS / Programming / General. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.
- Buy it nowPuccetti - Programming and Proof System ATES Advanced Techniques Int - L555z
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer Berlin / Heidelberg
ISBN-103540541888
ISBN-139783540541882
eBay Product ID (ePID)91808315
Product Key Features
Number of PagesViii, 341 Pages
LanguageEnglish
Publication NameProgramming and Proof System : Advanced Techniques Integration Into Efficient Scientific Software
Publication Year1991
SubjectProgramming / General, Software Development & Engineering / General, Numerical Analysis, Computer Science, Intelligence (Ai) & Semantics
TypeTextbook
Subject AreaComputers, Mathematics
AuthorA. Puccetti
SeriesResearch Reports Esprit Ser.
FormatTrade Paperback
Dimensions
Item Weight21.4 oz.
Item Length9.6 in
Item Width6.7 in
Additional Product Features
Intended AudienceScholarly & Professional
Be the first to write a review
