The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program

eBook Information

The Spine of Software: Designing Provably Correct Software : Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program ISBN  0471914746 Release Date  01 February 1988 Category  Software Engineering Tags  semantic,   mathematica,   spin,   math,   0471914746,   semantics,   introduction,   This book @Amazon  View Tools Google Search Web flazx.com

Other books on Software Engineering Software Process and Product Measurement: International Conference, IWSMMENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers (Lecture Notes in Computer Science) Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming) Apache JMeter Software Engineering for Modern Web Applications: Methodologies and Technologies CMMI Distilled: A Practical Introduction to Integrated Process Improvement (3rd Edition) (The SEI Series in Software Engineering) Software Security Engineering: A Guide for Project Managers (The SEI Series in Software Engineering) Designing and Engineering Time: The Psychology of Time Perception in Software Rationale-Based Software Engineering Software Development Rhythms: Harmonizing Agile Practices for Synergy Applied Software Measurement From Program to Product: Turning Your Code into a Saleable Product The ThoughtWorks Anthology: Essays on Software Technology and Innovation (Pragmatic Programmers) Domain-Specific Modeling Changing Software Development: Learning to Become Agile Software Evolution