Pamela Zave – författare
Visar alla böcker från författaren Pamela Zave. Handla med fri frakt och snabb leverans.
6 produkter
Real Internet Architecture
Past, Present, and Future Evolution
Av Pamela Zave, Jennifer Rexford
Inbunden, 2024
1107 kr
Lägg i varukorg
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 the long-standing need for an explanation of how the Internet's architecture has evolved since its creation to support …
Real Internet Architecture
Past, Present, and Future Evolution
Av Pamela Zave, Jennifer Rexford
Häftad, 2024
359 kr
Lägg i varukorg
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 the long-standing need for an explanation of how the Internet's architecture has evolved since its creation to support …
Software Requirements and Design: The Work of Michael Jackson
Av Pamela Zave, Bashar Nuseibeh
E-bok, 2011
93 kr
Lägg i varukorg
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 writings, exemplifying the clarity, wisdom, and wit for which he is so well known. The other half of the book is new: …
FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Av Jose N. Oliveira, Pamela Zave
Häftad, 2001
1128 kr
Lägg i varukorg
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 research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods …
FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Av Pamela Zave, Jose N. Oliveira
E-bok, 2003
1502 kr
Lägg i varukorg
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 research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods …
