Electronic Books

Total Books: 1 - 5 /5
FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

Lee mas
Logics of Specification Languages

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

Lee mas
Mathematical Approaches to Software Quality

This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...

Lee mas
Software Engineering 1

Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...

Lee mas
Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

Lee mas
Total Books: 1 - 5 /5