Amanote Research

Amanote Research

    RegisterSign In

Practical Formal Software Engineering

doi 10.1017/cbo9780511813290
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2009

Authors
Bruce Mills
Publisher

Cambridge University Press


Related search

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Assessing Iterative Practical Software Engineering Courses With Play Money

2016English

Formal Aspects of Component Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Software Engineering Management

2011English

Formal Methods in Systems Engineering

1993English

Software Engineering Education

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Software Engineering Education

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Unifying Software Engineering and Systems Engineering

Computer
Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy