Reihe Formal Approaches to Computing and Information Technology (FACIT)

 

Constructing Correct Software

 

John Cooke

Springer London

eBook

2013

52,99 €