Logic and Algebra of Specification: Proceedings by Friedrich L. Bauer (English)
165,69 €
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:
