Sökt på: Böcker av Pamela Zave
totalt 5 träffar
Software Requirements and Design
Subtitled "The Work of Michael Jackson," this book spans the career of one of software engineering's most important figures. Half the chapters are an anthology of Jackson's past …
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and …
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and …
Software Requirements and Design: The Work of Michael Jackson
Subtitled "e;The Work of Michael Jackson,"e; this book spans the career of one of software engineering's most important figures. Half the chapters are an anthology of …
The Real Internet Architecture
A new way to understand the architecture of today’s Internet, based on an innovative general model of network architecture that is rigorous, realistic, and modularThis book meets …