Gå direkte til innholdet
Logic and Algebra of Specification
Spar

Logic and Algebra of Specification

These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi.
Opplag
Softcover reprint of the original 1st ed. 1993
ISBN
9783642634482
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
14.4.2014
Antall sider
442