ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Treharne, Helen (Editor), King, Steve (Editor), Henson, Martin (Editor), Schneider, Steve (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:	Lecture Notes in Computer Science, 3455
Subjects:	Computer science. Software engineering. Computers. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
Published: (2006)

ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
Published: (2003)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Published: (2000)

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Published: (2008)

Logics of Specification Languages
Published: (2008)

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Published: (2013)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Published: (2016)

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /
Published: (2011)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
Published: (2005)

Refinement in Z and Object-Z Foundations and Advanced Applications /
by: Derrick, John, et al.
Published: (2014)

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
Published: (2015)

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Published: (2013)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Published: (2014)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Published: (2015)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
Published: (2014)

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
Published: (2016)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
Published: (2005)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Published: (2005)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Published: (2016)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Published: (2014)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Published: (2013)

The Correctness-by-Construction Approach to Programming
by: Kourie, Derrick G., et al.
Published: (2012)

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Published: (2013)

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
Published: (2015)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Published: (2007)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Published: (2015)

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Published: (2014)

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Published: (2016)

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Published: (2015)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Published: (2014)

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Published: (2015)

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
Published: (2016)

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings /
Published: (2012)

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
by: Caromel, Denis, et al.
Published: (2005)

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Published: (2005)

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Published: (2009)

Foundations of Algebraic Specification and Formal Software Development
by: Sannella, Donald, et al.
Published: (2012)

ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings /
Published: (2002)

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
Published: (2006)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Published: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών