Modern Formal Methods and Applications / edited by Hossam A. Gabbar
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink BücherPublisher: Dordrecht : Springer Netherlands, 2006Description: Online-Ressource (XXIII, 197 p, digital)ISBN:- 9781402042232
- QD75.4.C45
No physical items for this record