Cargando…

Foundations of Algebraic Specification and Formal Software Development

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using el...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Sannella, Donald (Autor), Tarlecki, Andrzej (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Monographs in Theoretical Computer Science. An EATCS Series,
Temas:	Computer science. Software engineering. Mathematical logic. Algebra, Homological. Computer Science Logic and Foundations of Programming. Software Engineering. Mathematical Logic and Foundations. Category Theory, Homological Algebra.
Acceso en línea:	Texto Completo

Ejemplares similares

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion /
por: Hinkis, Arie
Publicado: (2013)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
por: Doberkat, Ernst-Erich
Publicado: (2015)

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
por: Marquis, Jean-Pierre
Publicado: (2009)

From Objects to Diagrams for Ranges of Functors
por: Gillibert, Pierre, et al.
Publicado: (2011)

Graph and Model Transformation General Framework and Applications /
por: Ehrig, Hartmut, et al.
Publicado: (2015)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Publicado: (2015)

Algebraic Informatics Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Publicado: (2007)

Adapting Proofs-as-Programs The Curry--Howard Protocol /
por: Poernomo, Iman, et al.
Publicado: (2005)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Publicado: (2009)

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

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings /
Publicado: (2007)

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
por: Cox, David A., et al.
Publicado: (2015)

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
por: Cox, David A., et al.
Publicado: (2007)

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

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings /
Publicado: (2011)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings /
Publicado: (2007)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /
Publicado: (2008)

Rigorous Software Development An Introduction to Program Verification /
por: Almeida, José Bacelar, et al.
Publicado: (2011)

Introduction to Concurrency Theory Transition Systems and CCS /
por: Gorrieri, Roberto, et al.
Publicado: (2015)

Petri Net Synthesis
por: Badouel, Eric, et al.
Publicado: (2015)

Finitely Supported Mathematics An Introduction /
por: Alexandru, Andrei, et al.
Publicado: (2016)

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Publicado: (2011)

Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 /
Publicado: (2009)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

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

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /
Publicado: (2012)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /
Publicado: (2013)

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
Publicado: (2006)

Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory /
por: Lau, Dietlinde
Publicado: (2006)

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings /
Publicado: (2011)

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings /
Publicado: (2012)

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Publicado: (2016)

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Publicado: (2009)

Cardinal Invariants on Boolean Algebras Second Revised Edition /
por: Monk, J. Donald
Publicado: (2014)

Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
por: Yengui, Ihsen
Publicado: (2015)

New Structures for Physics
Publicado: (2011)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Publicado: (2014)

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Publicado: (2013)

Fundamentals of Algebraic Topology
por: Weintraub, Steven H.
Publicado: (2014)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_62s5ntpbc2uh9647ic0a2qm9mp