Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submission...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Derrick, John
Formaat:	E-boek
Taal:	English
Gepubliceerd in:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Reeks:	Lecture Notes in Computer Science 7316
Onderwerpen:	Computer science. Computer software. Logic design. Computational complexity.
Online toegang:	Click here to view the full text content
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Gepubliceerd in: (2010)

Abstract state machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Gepubliceerd in: (2008)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Gepubliceerd in: (2012)

ABZ 2014: The landing gear case study : case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
Gepubliceerd in: (2014)

Abstract computing machines a lambda calculus perspective /
door: Kluge, W.
Gepubliceerd in: (2005)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Gepubliceerd in: (2012)

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Gepubliceerd in: (2012)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Gepubliceerd in: (2012)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Gepubliceerd in: (2005)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Gepubliceerd in: (2012)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Gepubliceerd in: (2012)

Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Gepubliceerd in: (2013)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Gepubliceerd in: (2012)

Modelling computing systems : mathematics for computer science /
door: Moller, Faron
Gepubliceerd in: (2013)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Gepubliceerd in: (2013)

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
Gepubliceerd in: (2005)

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /
Gepubliceerd in: (2000)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Gepubliceerd in: (2010)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Gepubliceerd in: (2013)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Gepubliceerd in: (2012)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Gepubliceerd in: (2010)

Abstract state machines : a method for high-level system design and analysis /
door: Borger, Egon
Gepubliceerd in: (2003)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Gepubliceerd in: (2012)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Gepubliceerd in: (2012)

Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
Gepubliceerd in: (2014)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Gepubliceerd in: (2007)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Gepubliceerd in: (2013)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
Gepubliceerd in: (2012)

Associative digital network theory an associative algebra approach to logic, arithmetic and state machines /
door: Benschop, Nico F.
Gepubliceerd in: (2009)

Logic functions and equations examples and exercises /
door: Steinbach, Bernd
Gepubliceerd in: (2009)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Gepubliceerd in: (2012)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Gepubliceerd in: (2010)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Gepubliceerd in: (2005)

Logic and the foundations of game and decision theory LOFT 8 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
Gepubliceerd in: (2010)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Gepubliceerd in: (2014)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Gepubliceerd in: (2010)

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Gepubliceerd in: (2013)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings