Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback)

My Future Is Bright; I Am Going to Be Successful. a Continuation of I Am Not So Different, the Aspergers Survival Guide (Paperback)

Modelling Systems : Practical Tools and Techniques in Software Development (Hardcover, 2 Revised edition)

Big White Lie: Chinese Australians in White Australia (Paperback)

Validated Designs For Object-oriented Systems (Hardcover)

Power and Identity in the Chinese World Order: Festschrift in Honour of Professor Wang Gungwu (Hardcover)

Refinement: Semantics, Languages and Applications (Paperback, Softcover Repri)

Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P (Paperback, 2007)

Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Paperback, 2004)

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

Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory an (Paperback)