Reihe Formal Approaches of Computing and Information Technology (FACIT)

 

High-Integrity System Specification and Design

 

Jonathan P. Bowen

Springer Berlin

Softcover

1999

53,49 €