Buy Used and New JimDavies Books

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

by Jim Davies

ISBN 13: 9780521450553

Format: Hardcover (198 pages)
Publisher: Cambridge University Press
Published: 20 May 1993

Save for later

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540732099

Format: Paperback (660 pages)
Publisher: Springer
Published: 22 Jun 2007

Save for later

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783642198281

Format: Paperback (299 pages)
Publisher: Springer
Published: 23 Mar 2011

Save for later

Developments in Services of General Interest (Legal Issues of Services of General Interest)

by

ISBN 13: 9789067047333

Format: Hardcover (284 pages)
Publisher: T.M.C. Asser Press
Published: 09 Apr 2011

Save for later

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

by Jim Davies

ISBN 13: 9781107403864

Format: Paperback (200 pages)
Publisher: Cambridge University Press
Published: 12 Jan 2012

Save for later