Reihe PTCS - Progress in Theoretical Computer Science

 

Verifying Temporal Properties of Systems

 

J.C. Bradfield

Birkhäuser Boston

Hardcover

1992

 

Linear Programming

 

Howard Karloff

Birkhäuser Boston

Hardcover

1991

87,99 €