The spine of software : designing provably correct software-- theory and practice, or, A mathematical introduction to the semantics of computer programs /
| Main Author: | Baber, Robert Laurence |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester [West Sussex] ; New York :
Wiley,
[1988]
|
| Subjects: |
Similar Items
Error-free software : know-how and know-why of program correctness /
by: Baber, Robert Laurence
Published: (1991)
by: Baber, Robert Laurence
Published: (1991)
Economics-driven software architecture /
by: Mistrík, Ivan
Published: (2014)
by: Mistrík, Ivan
Published: (2014)
Professional software /
by: Ledgard, Henry F., 1943-
Published: (1987)
by: Ledgard, Henry F., 1943-
Published: (1987)
Programming techniques for software development /
by: White, Bebo, 1945-
Published: (1989)
by: White, Bebo, 1945-
Published: (1989)
Introduction to Java and software design /
by: Dale, Nell (Nell B.)
Published: (2003)
by: Dale, Nell (Nell B.)
Published: (2003)
Software development in C : a practical approach to programming and design /
by: Conger, David
Published: (2003)
by: Conger, David
Published: (2003)
Software engineering environments : concepts and technology /
by: Charette, Robert N.
Published: (1986)
by: Charette, Robert N.
Published: (1986)
The craft of software engineering /
by: Macro, Allen
Published: (1987)
by: Macro, Allen
Published: (1987)
Software development in practice /
by: Fishpool, Bernie, et al.
Published: (2020)
by: Fishpool, Bernie, et al.
Published: (2020)
Advances in software science and technology.
Published: (1991)
Published: (1991)
Future business software : current trends in business software development /
Published: (2014)
Published: (2014)
Digital guide to developing international software /
by: Kennelly, Cynthia Hartman
Published: (1991)
by: Kennelly, Cynthia Hartman
Published: (1991)
Python for software design : how to think like a computer scientist /
by: Downey, Allen
Published: (2009)
by: Downey, Allen
Published: (2009)
Advances in software science and technology.
Published: (1993)
Published: (1993)
Design of multithreaded software : the entity-life modeling approach /
by: Sandén, Bo
Published: (2011)
by: Sandén, Bo
Published: (2011)
Advances in software science and technology.
Published: (1992)
Published: (1992)
Software management /
Published: (2006)
Published: (2006)
Software management /
Published: (1997)
Published: (1997)
Software engineering for embedded systems : methods, practical techniques, and applications /
Published: (2013)
Published: (2013)
Software design for engineers and scientists /
by: Robinson, John A.
Published: (2004)
by: Robinson, John A.
Published: (2004)
The Successful Software Manager : the Definitive Guide to Growing from Developer to Manager.
by: Fung, Herman
Published: (2019)
by: Fung, Herman
Published: (2019)
Principles of software engineering management /
by: Gilb, Tom
Published: (1988)
by: Gilb, Tom
Published: (1988)
Managing complexity in software engineering /
Published: (1990)
Published: (1990)
Digital guide to developing international software /
by: Kennelly, Cynthia Hartman
Published: (1991)
by: Kennelly, Cynthia Hartman
Published: (1991)
Patterns of software : tales from the software community /
by: Gabriel, Richard P.
Published: (1996)
by: Gabriel, Richard P.
Published: (1996)
Effective prototyping for software makers /
by: Arnowitz, Jonathan
Published: (2007)
by: Arnowitz, Jonathan
Published: (2007)
Software engineering : architecture-driven software development /
by: Schmidt, Richard F. (Richard Francis), 1956-
Published: (2013)
by: Schmidt, Richard F. (Richard Francis), 1956-
Published: (2013)
Large-scale C++ software design /
by: Lakos, John, 1959-
Published: (1996)
by: Lakos, John, 1959-
Published: (1996)
Software development in Pascal /
by: Sahni, Sartaj
Published: (1985)
by: Sahni, Sartaj
Published: (1985)
Software development in Pascal /
by: Sahni, Sartaj
Published: (1989)
by: Sahni, Sartaj
Published: (1989)
Agile software development : principles, patterns, and practices /
by: Martin, Robert C.
Published: (2003)
by: Martin, Robert C.
Published: (2003)
Designing object-oriented software /
by: Wirfs-Brock, Rebecca
Published: (1990)
by: Wirfs-Brock, Rebecca
Published: (1990)
High integrity software : the Spark approach to safety and security /
by: Barnes, J. G. P. (John Gilbert Presslie)
Published: (2003)
by: Barnes, J. G. P. (John Gilbert Presslie)
Published: (2003)
Developing C++ software /
by: Winder, R. (Russel)
Published: (1993)
by: Winder, R. (Russel)
Published: (1993)
Developing object-oriented software for the Macintosh : analysis, design, and programming /
by: Goldstein, Neal
Published: (1992)
by: Goldstein, Neal
Published: (1992)
Software reliability.
Published: (1986)
Published: (1986)
Using aspect-oriented programming for trustworthy software development /
by: Safonov, V. O. (Vladimir Olegovich)
Published: (2008)
by: Safonov, V. O. (Vladimir Olegovich)
Published: (2008)
Software requirements essentials : core practices for successful business analysis /
by: Wiegers, Karl Eugene, 1953-, et al.
Published: (2023)
by: Wiegers, Karl Eugene, 1953-, et al.
Published: (2023)
Software mistakes and tradeoffs /
by: Lelek, Tomasz, et al.
Published: (2022)
by: Lelek, Tomasz, et al.
Published: (2022)
Software engineering : Barry W. Boehm's lifetime contributions to software development, management, and research /
Published: (2007)
Published: (2007)