Buy Used and New JohnDerrick Books

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540731955

Format: Paperback (375 pages)
Publisher: Springer
Published: 12 Jun 2007

Save for later

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by

ISBN 13: 9780521168755

Format: Paperback (492 pages)
Publisher: Cambridge University Press
Published: 21 Jul 2011

Save for later

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by

ISBN 13: 9780521771849

Format: Hardcover (490 pages)
Publisher: Cambridge University Press
Published: 22 Oct 2001
Other Format: Paperback

Save for later

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642307287

Format: Paperback (360 pages)
Publisher: Springer
Published: 06 Jun 2012

Save for later