Buy Used and New KimG.Larsen Books

Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings: 1443 (Lecture Notes in Computer Science)

by Kim G. Larsen, Sven Skyum, Glynn Winskel

ISBN 13: 9783540647812

Format: Paperback (956 pages)
Publisher: Springer
Published: 06 Jul 1998

Save for later

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings: 2154 (Lecture Notes in Computer Science)

by Kim G. Larsen, Mogens Nielsen

ISBN 13: 9783540424970

Format: Paperback (600 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

by Kim G. Larsen, Ed Brinksma

ISBN 13: 9783540439974

Format: Paperback (656 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later