Clicky

Automata, Languages and Programming by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > Automata, Languages and Programming

Buy at: Bookshop.org Amazon

Automata, Languages and Programming

Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis

See on goodreads

Recent activity

Rate this book to see your activity here.

6 Books Similar to Automata, Languages and Programming by Kim G. Larsen

Bookscovery readers who liked Automata, Languages and Programming also like A complete protocol verification using revitalized bisimulation, Computer Aided Verification: 3rd International Workshop, Cav 92 and CONCUR 2001 - Concurrency Theory. How many of these have you read?

A complete protocol verification using revitalized bisimulation by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92
Buy this book at:
Bookshop.org Amazon

CONCUR 2001 - Concurrency Theory by Kim G. Larsen

Cover of CONCUR 2001 - Concurrency Theory
Buy this book at:
Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems by Kim G. Larsen

Cover of Formal Modeling and Analysis of Timed Systems
Buy this book at:
Bookshop.org Amazon

Models, Mindsets, Meta : The What, the How, and the Why Not? by Tiziana Margaria

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?
Buy this book at:
Bookshop.org Amazon

An Attribute grammar for the semantic analysis of ADA by J. Uhl

Cover of An Attribute grammar for the semantic analysis of ADA
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automata, Languages and Programming

Please sign in to leave a comment