Buy Used and New Bart Jacobs Books

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

by Bart Jacobs

ISBN 13: 9781107177895

Format: Hardcover (494 pages)
Publisher: Cambridge University Press
Published: 27 Oct 2016

Save for later

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... 9634 (Lecture Notes in Computer Science)

by Bart Jacobs, Christof Löding

ISBN 13: 9783662496299

Format: Paperback (564 pages)
Publisher: Springer
Published: 23 Mar 2016

Save for later

Formal Methods for Open Object-Based Distributed Systems: IFIP Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by Bart Jacobs,Arend Rensink,International Conference on Formal Metho

ISBN 13: 9780792376835

Format: Illustrated (292 pages)
Publisher: Springer
Published: 31 Mar 2002

Save for later

Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

by Bart Jacobs

ISBN 13: 9781475752687

Format: Paperback (292 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later