← Back to Browse
FM 2016 : Formal Methods

FM 2016 : Formal Methods

by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi

Subjects

Computer software, development System design
Read on Open Library More by John Fitzgerald

Related Books

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advances in Computers)

Marvin V. Zelkowitz

199569 ed.
Agile Software Development, Principles, Patterns, and Practices

Agile Software Development, Principles, Patterns, and Practices

Robert C. Martin

20024 ed.
Clean Code

Clean Code

Robert C. Martin

200813 ed.
Introduction to Algorithms

Introduction to Algorithms

Thomas H. Cormen

199018 ed.
Lean Software Development

Lean Software Development

Mary Poppendieck

20032 ed.
Code Complete

Code Complete

Steve McConnell

199310 ed.
Designing Data-Intensive Applications

Designing Data-Intensive Applications

Martin Kleppmann

201710 ed.
Soft Skills

Soft Skills

John Z. Sonmez

20151 ed.