Gå direkt till innehållet
Logic and Algebra of Specification
Spara

Logic and Algebra of Specification

Lägsta pris på PriceRunner
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.
Upplaga
Softcover reprint of the original 1st ed. 1993
ISBN
9783642634482
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2014-04-14
Sidor
442