ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ... Notes in Computer Science, 2272, Band 2272)

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 1
ISBN
Springer Berlin Heidelberg 3540431667

Eigenschaften

Menü