Modern Formal Methods and Applications
E-book
Electronic resources
Record details
- ISBN: 9781402042232
-
Physical Description:
electronic
electronic resource
access
remote
XXIII, 197 p. online resource. - Publisher: Dordrecht : Springer Netherlands, 2006.