Logic and Algebra of Specification by Friedrich L. Bauer (English) Paperback Boo
162,66 €
Distributed Action Systems. - Lectures on: Classical Proofs as Programs. - Linear Logic: A Survey. - The Safety-Progress Classification. - The Polyadic ?. -Calculus: A Tutorial. - An Introduction to Action Semantics.
Jetzt bei Ebay:
