|
1. |
|
IFM'99
Keijiro Araki, Andy Galloway, Kenji Taguchi
E-bok. Springer London, 2012.
|
|
2. |
|
IFM'99
Keijiro Araki, Andy Galloway, Kenji Taguchi
Häftad. Springer London Ltd, Storbritannien, 1999.
|
|
3. |
|
Formal Methods and Software Engineering
Toshiaki Aoki, Kenji Taguchi
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2012.
|
|
4. |
|
Formal Methods and Software Engineering
Toshiaki Aoki, Kenji Taguchi
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
|
|