Cover of Automata, Languages and Programming

Mark as

Automata, Languages and Programming

by Kim G. Larsen

Buy this book Review

See on goodreads

More by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92

Cover of CONCUR 2001 - Concurrency Theory

Cover of Formal Modeling and Analysis of Timed Systems

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?

Cover of 1. Fachtagung über Automatentheorie undFormale Sprachen

Cover of Adaptive hypermedia and adaptive Web-based systems

Cover of Advanced information systems engineering

Cover of Advances in cryptology, 1981-1997

Cover of Algebraic Frames for the Perception-Action Cycle

Cover of Algebraic methodology and software technology

Cover of Algebraic Methods

Cover of Algorithm theory

Cover of Anaphora in Natural Language Understanding

Cover of An Attribute grammar for the semantic analysis of ADA

Cover of Articulated motion and deformable objects

Cover of Computer Aided Vertification

Cover of Computer science logic

Cover of Conceptual modeling

Cover of Concurrency theory

Cover of Distributed Programming Paradigms with Cryptography Applications

Lecture Notes in Computer Science

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment