Rigorous software development an introduction to program verification /

Rigorous software development an introduction to program verification /

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Almeida, Jos©♭ Bacelar
Format:	eBook
Langue:	English
Publié:	London Springer-Verlag 2011.
Collection:	Undergraduate Topics in Computer Science,
Sujets:	Computer science Software engineering Logic design Algebra > Data processing
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Foundations of algebraic specification and formal software development /
par: Sannella, Donald
Publié: (2012)

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, revised selected papers
par: Fiadeiro, JosÃ© Luiz
Publié: (2005)

Algebraic informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Publié: (2007)

Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /
Publié: (2012)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publié: (2013)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
par: Ur, Shmuel
Publié: (2006)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Publié: (2009)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Publié: (2007)

Theoretical introduction to programming
par: Mills, Bruce
Publié: (2006)

Logic, language, information and computation 17th international workshop, woLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
Publié: (2010)

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

Algebra and coalgebra in computer science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Specification, algebra, and software : Essays dedicated to Kokichi Futatsugi /
Publié: (2014)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Publié: (2013)

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Publié: (2014)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Publié: (2012)

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Publié: (2010)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Publié: (2012)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publié: (2013)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Publié: (2012)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Publié: (2013)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Publié: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Publié: (2012)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publié: (2014)

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Publié: (2005)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
par: Arbab, Farhad
Publié: (2010)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Publié: (2012)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Publié: (2010)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
Publié: (2009)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
par: Seidl, Helmut
Publié: (2007)

Logics in artificial intelligence 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
Publié: (2010)

Logic, language and meaning 17th amsterdam colloquium, amsterdam, the netherlands, December 16-18, 2009, revised selected papers /
Publié: (2010)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
Publié: (2007)

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
Publié: (2013)

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Publié: (2007)

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Publié: (2010)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Publié: (2013)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publié: (2014)

Reliable software technologies - Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Publié: (2013)