Elementary Logic For Software Development /

Elementary Logic For Software Development /

The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional lite...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lover, Robert (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2008.
Θέματα:	Computer science. Architecture, Computer. Software engineering. Computer logic. Computer Science. Software Engineering/Programming and Operating Systems. Computer System Implementation. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
Έκδοση: (2008)

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Έκδοση: (2009)

Component Deployment Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings /
Έκδοση: (2004)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings /
Έκδοση: (2005)

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
Έκδοση: (2007)

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
Έκδοση: (2008)

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Έκδοση: (2009)

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
Έκδοση: (2008)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Modelling Distributed Systems
ανά: Fokkink, Wan
Έκδοση: (2007)

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings /
Έκδοση: (2006)

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers /
Έκδοση: (2005)

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings /
Έκδοση: (2005)

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings /
Έκδοση: (2007)

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
Έκδοση: (2014)

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /
Έκδοση: (2017)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
Έκδοση: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
Έκδοση: (2010)

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Έκδοση: (2009)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Έκδοση: (2008)

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
Έκδοση: (2005)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Έκδοση: (2007)

Unfoldings A Partial-Order Approach to Model Checking /
ανά: Esparza, Javier, κ.ά.
Έκδοση: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
Έκδοση: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
Έκδοση: (2005)

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
Έκδοση: (2007)

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
Έκδοση: (2006)

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Έκδοση: (2007)

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
Έκδοση: (2010)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
Έκδοση: (2008)

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings /
Έκδοση: (2014)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
Έκδοση: (2005)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Έκδοση: (2013)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Έκδοση: (2011)

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Έκδοση: (2009)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Έκδοση: (2010)

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Έκδοση: (2012)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012)

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