Automata Theory and Logic
Author:   Martin Hofmann ,  Martin Lange
Publisher:   Springer Fachmedien Wiesbaden
ISBN:  

9783662721537


Pages:   419
Publication Date:   30 October 2025
Format:   Paperback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $142.29 Quantity:  
Add to Cart

Share |

Automata Theory and Logic


Overview

Full Product Details

Author:   Martin Hofmann ,  Martin Lange
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Springer Vieweg
ISBN:  

9783662721537


ISBN 10:   3662721538
Pages:   419
Publication Date:   30 October 2025
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

Reviews

Author Information

Martin Hofmann held the chair for theoretical computer science at LMU Munich, Germany. He made significant contributions to logic in computer science including type theory, semantics, program analysis and complexity theory. Martin Lange works on foundations of program verification using temporal logics and games. He is head of the department of theoretical computer science and formal methods at the University of Kassel, Germany.    

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now