Buy Used and New JensPalsberg Books

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642032363

Format: Paperback (361 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540851134

Format: Paperback (343 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642041631

Format: Paperback (409 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later