Skip to main content

Formal Models and Semantics

  • 1st Edition, Volume B - June 28, 2014
  • Author: Bozzano G Luisa
  • Language: English
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 9 3 3 9 2 - 4

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program… Read more

Formal Models and Semantics

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code needed.

Image of books

Institutional subscription on ScienceDirect

Request a sales quote
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.