B’98: Recent Advances in the Development and Use of the B Method


International B Conference
Bok Engelsk

Annen tittel
Utgitt
Springer Berlin Heidelberg
ISBN
3540697691. - 9783540697695

Bibliotek som har denne